mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 13:18:28 +00:00
9ca91b2566
There is nothing in the diff besides the format number changing from 93 to 95. From what I understand, this is as expected since 93 -> 94 and 94 -> 95 just add new layout tags. Updating the layouts makes it easier to test master. Otherwise, in some use cases layout2layout can be run hundreds of times which can make some things slow (e.g., opening documents or even opening the advanced find pane).
89 lines
1.1 KiB
HTML
89 lines
1.1 KiB
HTML
# Sets the order of the main theorem environments
|
|
# Author: Richard Kimberly Heck
|
|
|
|
Format 95
|
|
|
|
Style Theorem
|
|
CopyStyle Theorem*
|
|
DependsOn Theorem*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Corollary
|
|
CopyStyle Corollary*
|
|
DependsOn Corollary*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Lemma
|
|
CopyStyle Lemma*
|
|
DependsOn Lemma*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Proposition
|
|
CopyStyle Proposition*
|
|
DependsOn Proposition*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Conjecture
|
|
CopyStyle Conjecture*
|
|
DependsOn Conjecture*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Definition
|
|
CopyStyle Definition*
|
|
DependsOn Definition*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Example
|
|
CopyStyle Example*
|
|
DependsOn Example*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Solution
|
|
CopyStyle Solution*
|
|
DependsOn Solution*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Problem
|
|
CopyStyle Problem*
|
|
DependsOn Problem*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Exercise
|
|
CopyStyle Exercise*
|
|
DependsOn Exercise*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Remark
|
|
CopyStyle Remark*
|
|
DependsOn Remark*
|
|
Preamble
|
|
EndPreamble
|
|
End
|
|
|
|
Style Claim
|
|
CopyStyle Claim*
|
|
DependsOn Claim*
|
|
Preamble
|
|
EndPreamble
|
|
End
|