mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-06 11:23:45 +00:00
d0aa20afcf
A fix to layout2layout is needed first. See:
https://www.mail-archive.com/search?l=mid&q=20200927192424.GA1224%40GIOVE
This reverts commit 5d7efd2fa9.
84 lines
624 B
HTML
84 lines
624 B
HTML
# Sets the order of the main theorem environments
|
|
# Author: Richard Heck
|
|
|
|
Format 82
|
|
|
|
#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
|