mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-13 22:49:20 +00:00
4b33e60346
I do not commit the update to the following file since it has a non-trivial change: lib/layouts/jlreq-common.inc I'll ask for confirmation on the list before updating that file.
84 lines
634 B
HTML
84 lines
634 B
HTML
# Sets the order of the main theorem environments
|
|
# Author: Richard Kimberly Heck
|
|
|
|
Format 106
|
|
|
|
#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
|