lyx_mirror/lib/layouts/theorems-starred-equivalents.inc
Scott Kostyshak 9ca91b2566 Update layouts (run layout2layout.py)
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).
2021-10-25 12:37:21 -04:00

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