mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-09-20 06:49:56 +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).
84 lines
633 B
HTML
84 lines
633 B
HTML
# Sets the order of the main theorem environments
|
|
# Author: Richard Kimberly Heck
|
|
|
|
Format 95
|
|
|
|
#Get the order right
|
|
Style Theorem
|
|
End
|
|
|
|
Style Theorem*
|
|
End
|
|
|
|
Style Corollary
|
|
End
|
|
|
|
Style Corollary*
|
|
End
|
|
|
|
Style Lemma
|
|
End
|
|
|
|
Style Lemma*
|
|
End
|
|
|
|
Style Proposition
|
|
End
|
|
|
|
Style Proposition*
|
|
End
|
|
|
|
Style Conjecture
|
|
End
|
|
|
|
Style Conjecture*
|
|
End
|
|
|
|
Style Definition
|
|
End
|
|
|
|
Style Definition*
|
|
End
|
|
|
|
Style Example
|
|
End
|
|
|
|
Style Example*
|
|
End
|
|
|
|
Style Problem
|
|
End
|
|
|
|
Style Problem*
|
|
End
|
|
|
|
Style Exercise
|
|
End
|
|
|
|
Style Exercise*
|
|
End
|
|
|
|
Style Solution
|
|
End
|
|
|
|
Style Solution*
|
|
End
|
|
|
|
Style Remark
|
|
End
|
|
|
|
Style Remark*
|
|
End
|
|
|
|
Style Claim
|
|
End
|
|
|
|
Style Claim*
|
|
End
|
|
|
|
Style Case
|
|
End
|
|
|
|
Style Proof
|
|
End
|