Add LaTeXName to counters that need it.

I'm sure I've missed some here. I tried to check the CLS files for
some of these, but since I don't use a lot of these layouts, it is
hard to catch them all.
This commit is contained in:
Richard Kimberly Heck 2020-12-05 17:05:30 -05:00
parent 0c5e10f36b
commit c00084e4a2
13 changed files with 110 additions and 64 deletions

View File

@ -27,72 +27,72 @@ End
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
Within chapter Within chapter
End End
Counter definition Counter definition
GuiName Definition GuiName Definition
Within chapter Within chapter
End End
Counter remark Counter remark
GuiName Remark GuiName Remark
Within chapter Within chapter
End End
Counter corollary Counter corollary
GuiName Corollary GuiName Corollary
Within chapter Within chapter
End End
Counter lemma Counter lemma
GuiName Lemma GuiName Lemma
Within chapter Within chapter
End End
Counter proposition Counter proposition
GuiName Proposition GuiName Proposition
Within chapter Within chapter
End End
Counter claim Counter claim
GuiName Claim GuiName Claim
Within chapter Within chapter
End End
Counter conjecture Counter conjecture
GuiName Conjecture GuiName Conjecture
Within chapter Within chapter
End End
Counter question Counter question
GuiName Question GuiName Question
Within chapter Within chapter
End End
Counter example Counter example
GuiName Example GuiName Example
Within chapter Within chapter
End End
Counter exercise Counter exercise
GuiName Exercise GuiName Exercise
Within chapter Within chapter
End End
Counter case Counter case
GuiName Case GuiName Case
Within chapter Within chapter
End End
Counter property Counter property
GuiName Property GuiName Property
Within chapter Within chapter
End End
Counter note Counter note
GuiName Note GuiName Note
Within chapter Within chapter
End End
Style Claim Style Claim

View File

@ -25,15 +25,19 @@
Format 89 Format 89
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
LaTeXName thm
End End
Counter corollary Counter corollary
GuiName Corollary GuiName Corollary
LaTeXName cor
End End
Counter lemma Counter lemma
GuiName Lemma GuiName Lemma
LaTeXName lem
End End
Counter proposition Counter proposition
GuiName Proposition GuiName Proposition
LaTeXName prop
End End
Counter conjecture Counter conjecture
GuiName Conjecture GuiName Conjecture
@ -43,6 +47,7 @@ Counter fact
End End
Counter definition Counter definition
GuiName Definition GuiName Definition
LaTeXName defn
End End
Counter example Counter example
GuiName Example GuiName Example
@ -52,12 +57,15 @@ Counter problem
End End
Counter exercise Counter exercise
GuiName Exercise GuiName Exercise
LaTeXName xca
End End
Counter solution Counter solution
GuiName Solution GuiName Solution
LaTeXName sol
End End
Counter remark Counter remark
GuiName Remark GuiName Remark
LaTeXName rem
End End
Counter claim Counter claim
GuiName Claim GuiName Claim

View File

@ -27,55 +27,63 @@
Format 89 Format 89
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
Within chapter Within chapter
LaTeXName thm
End End
Counter corollary Counter corollary
GuiName Corollary GuiName Corollary
Within chapter Within chapter
LaTeXName cor
End End
Counter lemma Counter lemma
GuiName Lemma GuiName Lemma
Within chapter Within chapter
LaTeXName lem
End End
Counter proposition Counter proposition
GuiName Proposition GuiName Proposition
Within chapter Within chapter
LaTeXName prop
End End
Counter conjecture Counter conjecture
GuiName Conjecture GuiName Conjecture
Within chapter Within chapter
End End
Counter fact Counter fact
GuiName Fact GuiName Fact
Within chapter Within chapter
End End
Counter definition Counter definition
GuiName Definition GuiName Definition
Within chapter Within chapter
LaTeXName defn
End End
Counter example Counter example
GuiName Example GuiName Example
Within chapter Within chapter
End End
Counter problem Counter problem
GuiName Problem GuiName Problem
Within chapter Within chapter
End End
Counter exercise Counter exercise
GuiName Exercise GuiName Exercise
Within chapter Within chapter
LaTeXName sca
End End
Counter solution Counter solution
GuiName Solution GuiName Solution
Within chapter Within chapter
LaTeXName sol
End End
Counter remark Counter remark
GuiName Remark GuiName Remark
Within chapter Within chapter
LaTeXName rem
End End
Counter claim Counter claim
GuiName Claim GuiName Claim
Within chapter Within chapter
End End
OutlinerName thm "Definitions & Theorems" OutlinerName thm "Definitions & Theorems"

View File

@ -42,9 +42,11 @@ Counter criterion
End End
Counter algorithm Counter algorithm
GuiName Algorithm GuiName Algorithm
LaTeXName lyxalgorithm
End End
Counter axiom Counter axiom
GuiName Axiom GuiName Axiom
LaTeXName ax
End End
Counter condition Counter condition
GuiName Condition GuiName Condition

View File

@ -40,47 +40,49 @@ Requires amsmath
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter criterion Counter criterion
GuiName Criterion GuiName Criterion
Within chapter Within chapter
End End
Counter algorithm Counter algorithm
GuiName Algorithm GuiName Algorithm
Within chapter Within chapter
LaTeXName lyxalgorithm
End End
Counter axiom Counter axiom
GuiName Axiom GuiName Axiom
Within chapter Within chapter
LaTeXName ax
End End
Counter condition Counter condition
GuiName Condition GuiName Condition
Within chapter Within chapter
End End
Counter note Counter note
GuiName Note GuiName Note
Within chapter Within chapter
End End
Counter notation Counter notation
GuiName Notation GuiName Notation
Within chapter Within chapter
End End
Counter summary Counter summary
GuiName Summary GuiName Summary
Within chapter Within chapter
End End
Counter acknowledgement Counter acknowledgement
GuiName Acknowledgement GuiName Acknowledgement
Within chapter Within chapter
End End
Counter conclusion Counter conclusion
GuiName Conclusion GuiName Conclusion
Within chapter Within chapter
End End
Counter assumption Counter assumption
GuiName Assumption GuiName Assumption
Within chapter Within chapter
End End
Counter question Counter question
GuiName Question GuiName Question
Within chapter Within chapter
End End

View File

@ -20,6 +20,7 @@ Requires amsmath,amsthm
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
LaTeXName thm
End End
Input theorems-order.inc Input theorems-order.inc

View File

@ -17,15 +17,19 @@ Format 89
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
LaTeXName thm
End End
Counter corollary Counter corollary
GuiName Corollary GuiName Corollary
LaTeXName cor
End End
Counter lemma Counter lemma
GuiName Lemma GuiName Lemma
LaTeXName lem
End End
Counter proposition Counter proposition
GuiName Proposition GuiName Proposition
LaTeXName prop
End End
Counter conjecture Counter conjecture
GuiName Conjecture GuiName Conjecture
@ -35,6 +39,7 @@ Counter fact
End End
Counter definition Counter definition
GuiName Definition GuiName Definition
LaTeXName defn
End End
Counter example Counter example
GuiName Example GuiName Example
@ -44,12 +49,15 @@ Counter problem
End End
Counter exercise Counter exercise
GuiName Exercise GuiName Exercise
LaTeXName xca
End End
Counter solution Counter solution
GuiName Solution GuiName Solution
LaTeXName sol
End End
Counter remark Counter remark
GuiName Remark GuiName Remark
LaTeXName rem
End End
Counter claim Counter claim
GuiName Claim GuiName Claim

View File

@ -17,51 +17,57 @@ Format 89
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
Within chapter Within chapter
LaTeXName thm
End End
Counter corollary Counter corollary
GuiName Corollary GuiName Corollary
Within chapter Within chapter
LaTeXName cor
End End
Counter lemma Counter lemma
GuiName Lemma GuiName Lemma
Within chapter Within chapter
LaTeXName lem
End End
Counter proposition Counter proposition
GuiName Proposition GuiName Proposition
Within chapter Within chapter
LaTeXName prop
End End
Counter conjecture Counter conjecture
GuiName Conjecture GuiName Conjecture
Within chapter Within chapter
End End
Counter fact Counter fact
GuiName Fact GuiName Fact
Within chapter Within chapter
End End
Counter definition Counter definition
GuiName Definition GuiName Definition
Within chapter Within chapter
LaTeXName defn
End End
Counter example Counter example
GuiName Example GuiName Example
Within chapter Within chapter
End End
Counter problem Counter problem
GuiName Problem GuiName Problem
Within chapter Within chapter
End End
Counter exercise Counter exercise
GuiName Exercise GuiName Exercise
Within chapter Within chapter
LaTeXName xca
End End
Counter remark Counter remark
GuiName Remark GuiName Remark
Within chapter Within chapter
End End
Counter claim Counter claim
GuiName Claim GuiName Claim
Within chapter Within chapter
End End
Style Theorem Style Theorem

View File

@ -14,7 +14,8 @@ Format 89
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
Within chapter Within chapter
LaTeXName thm
End End
Style Theorem Style Theorem

View File

@ -17,51 +17,57 @@ Format 89
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
Within section Within section
LaTeXName thm
End End
Counter corollary Counter corollary
GuiName Corollary GuiName Corollary
Within section Within section
LaTeXName cor
End End
Counter lemma Counter lemma
GuiName Lemma GuiName Lemma
Within section Within section
LaTeXName lem
End End
Counter proposition Counter proposition
GuiName Proposition GuiName Proposition
Within section Within section
LaTeXName prop
End End
Counter conjecture Counter conjecture
GuiName Conjecture GuiName Conjecture
Within section Within section
End End
Counter fact Counter fact
GuiName Fact GuiName Fact
Within section Within section
End End
Counter definition Counter definition
GuiName Definition GuiName Definition
Within section Within section
LaTeXName defn
End End
Counter example Counter example
GuiName Example GuiName Example
Within section Within section
End End
Counter problem Counter problem
GuiName Problem GuiName Problem
Within section Within section
End End
Counter exercise Counter exercise
GuiName Exercise GuiName Exercise
Within section Within section
LaTeXName sca
End End
Counter remark Counter remark
GuiName Remark GuiName Remark
Within section Within section
End End
Counter claim Counter claim
GuiName Claim GuiName Claim
Within section Within section
End End
Style Theorem Style Theorem

View File

@ -13,7 +13,8 @@ Format 89
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
Within section Within section
LaTeXName thm
End End
Style Theorem Style Theorem

View File

@ -13,6 +13,7 @@ Format 89
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
LaTeXName thm
End End
Input theorems.inc Input theorems.inc

View File

@ -32,7 +32,9 @@ OutlinerName thm "Definitions & Theorems"
Counter theorem Counter theorem
GuiName Theorem GuiName Theorem
LaTeXName thm
End End
Style Theorem Style Theorem
Category Reasoning Category Reasoning
Margin First_Dynamic Margin First_Dynamic