Add GuiNames to counter declarations.

This commit is contained in:
Richard Kimberly Heck 2020-05-02 22:37:18 -04:00
parent 9bcb243ec6
commit a7e26710cb
44 changed files with 237 additions and 0 deletions

View File

@ -314,10 +314,14 @@ Style Proof
End End
Counter case Counter case
GuiName Case
End End
Counter remark Counter remark
GuiName Remark
End End
Counter summary Counter summary
GuiName Summary
End End
Counter solution Counter solution
GuiName Solution
End End

View File

@ -45,6 +45,7 @@ Style Standard
End End
Counter theorem Counter theorem
GuiName Theorem
End End
Input stdcounters.inc Input stdcounters.inc

View File

@ -224,6 +224,7 @@ Style Acknowledgements
End End
Counter appendix Counter appendix
GuiName Appendix
Within "none" Within "none"
End End
@ -239,6 +240,7 @@ Style Section_Appendix
End End
Counter subappendix Counter subappendix
GuiName Subappendix
Within "appendix" Within "appendix"
End End
@ -254,6 +256,7 @@ Style Subsection_Appendix
End End
Counter subsubappendix Counter subsubappendix
GuiName Subsubappendix
Within subappendix Within subappendix
End End

View File

@ -539,6 +539,7 @@ End
OutlinerName thm "Definitions & Theorems" OutlinerName thm "Definitions & Theorems"
Counter theorem Counter theorem
GuiName Theorem
Within section Within section
End End

View File

@ -6,24 +6,30 @@
Format 80 Format 80
Counter sect1 Counter sect1
GuiName "Section Level 1"
Within section Within section
End End
Counter sect2 Counter sect2
GuiName "Section Level 2"
Within sect1 Within sect1
End End
Counter sect3 Counter sect3
GuiName "Section Level 3"
Within sect2 Within sect2
End End
Counter sect4 Counter sect4
GuiName "Section Level 4"
Within sect3 Within sect3
End End
Counter sect5 Counter sect5
GuiName "Section Level 5"
Within sect4 Within sect4
End End
Counter para Counter para
GuiName Paragraph
End End

View File

@ -227,10 +227,12 @@ End
Counter plate Counter plate
GuiName Plate
Within none Within none
End End
Counter planotable Counter planotable
GuiName "Plano Table"
Within none Within none
End End

View File

@ -24,10 +24,12 @@ Input stdcounters.inc
DefaultStyle Dialogue DefaultStyle Dialogue
Counter act Counter act
GuiName "Act Number"
End End
Counter scene Counter scene
GuiName "Scene Number"
End End

View File

@ -241,6 +241,7 @@ Style Conclusions
End End
Counter appendix Counter appendix
GuiName Appendix
Within "none" Within "none"
End End
@ -252,6 +253,7 @@ Style Section_Appendix
End End
Counter subappendix Counter subappendix
GuiName Subappendix
Within "appendix" Within "appendix"
End End
@ -263,6 +265,7 @@ Style Subsection_Appendix
End End
Counter subsubappendix Counter subsubappendix
GuiName Subsubappendix
Within subappendix Within subappendix
End End

View File

@ -6,22 +6,27 @@
Format 80 Format 80
Counter sect1 Counter sect1
GuiName "Section Level 1"
Within chapter Within chapter
End End
Counter sect2 Counter sect2
GuiName "Section Level 2"
Within sect1 Within sect1
End End
Counter sect3 Counter sect3
GuiName "Section Level 3"
Within sect2 Within sect2
End End
Counter sect4 Counter sect4
GuiName "Section Level 4"
Within sect3 Within sect3
End End
Counter sect5 Counter sect5
GuiName "Section Level 5"
Within sect4 Within sect4
End End

View File

@ -217,4 +217,5 @@ InsetLayout Flex:By_Same_Author_(bib)
End End
Counter Thanks Counter Thanks
GuiName "Thanks (Footnote)"
End End

View File

@ -38,10 +38,12 @@ TitleLatexType Environment
TitleLatexName frontmatter TitleLatexName frontmatter
Counter summ Counter summ
GuiName Summary
End End
Counter case Counter case
GuiName Case
End End
@ -266,6 +268,7 @@ End
# - Case # - Case
Counter theorem Counter theorem
GuiName Theorem
End End

View File

@ -12,6 +12,7 @@
Format 80 Format 80
Counter endnotes Counter endnotes
GuiName Endnotes
PrettyFormat "Endnote ##" PrettyFormat "Endnote ##"
End End

View File

@ -12,6 +12,7 @@
Format 80 Format 80
Counter endnotes Counter endnotes
GuiName Endnotes
PrettyFormat "Endnote ##" PrettyFormat "Endnote ##"
End End

View File

@ -14,6 +14,7 @@ AddToPreamble
EndPreamble EndPreamble
Counter equation Counter equation
GuiName Equation
Within section Within section
LabelString "\thesection.\arabic{equation}" LabelString "\thesection.\arabic{equation}"
End End

View File

@ -409,6 +409,7 @@ Style Question
End End
Counter claim Counter claim
GuiName Claim
Within section Within section
End End
Style Claim Style Claim
@ -441,6 +442,7 @@ Style Prop
End End
Counter appendix Counter appendix
GuiName Appendix
End End
Style Appendix Style Appendix
LatexType Command LatexType Command

View File

@ -373,6 +373,7 @@ Style Proof
End End
Counter theorem Counter theorem
GuiName Theorem
Within section Within section
End End
Style Theorem Style Theorem
@ -387,6 +388,7 @@ Style Theorem
End End
Counter remark Counter remark
GuiName Remark
Within section Within section
End End
Style Remark Style Remark
@ -398,6 +400,7 @@ Style Remark
End End
Counter corollary Counter corollary
GuiName Corollary
Within section Within section
End End
Style Corollary Style Corollary
@ -405,6 +408,7 @@ Style Corollary
End End
Counter lemma Counter lemma
GuiName Lemma
Within section Within section
End End
Style Lemma Style Lemma
@ -412,6 +416,7 @@ Style Lemma
End End
Counter proposition Counter proposition
GuiName Proposition
Within section Within section
End End
Style Proposition Style Proposition
@ -419,6 +424,7 @@ Style Proposition
End End
Counter question Counter question
GuiName Question
Within section Within section
End End
Style Question Style Question
@ -429,6 +435,7 @@ Style Question
End End
Counter claim Counter claim
GuiName Claim
Within section Within section
End End
Style Claim Style Claim
@ -440,6 +447,7 @@ Style Claim
End End
Counter conjecture Counter conjecture
GuiName Conjecture
Within section Within section
End End
Style Conjecture Style Conjecture
@ -450,10 +458,12 @@ Style Conjecture
End End
Counter prop Counter prop
GuiName Prop(osition)
Within section Within section
End End
Counter appendix Counter appendix
GuiName Appendix
End End
Style Appendix Style Appendix
LatexType Command LatexType Command

View File

@ -11,6 +11,7 @@ Format 80
Input litinsets.inc Input litinsets.inc
Counter chunk Counter chunk
GuiName "Knitr Chunk"
InitialValue 2 InitialValue 2
End End

View File

@ -15,16 +15,19 @@ Format 80
# #
Counter example Counter example
GuiName Example
Within chapter Within chapter
LabelString "(\arabic{example})" LabelString "(\arabic{example})"
End End
Counter examplei Counter examplei
GuiName "Numbered Example (Multiline)"
Within chapter Within chapter
LabelString "(\arabic{examplei})" LabelString "(\arabic{examplei})"
End End
Counter subexample Counter subexample
GuiName Subexample
Within examplei Within examplei
LabelString "\theexamplei (\alph{subexample})" LabelString "\theexamplei (\alph{subexample})"
End End

View File

@ -9,6 +9,7 @@
Format 80 Format 80
Counter chunk Counter chunk
GuiName "Knitr Chunk"
PrettyFormat "Chunk ##" PrettyFormat "Chunk ##"
End End

View File

@ -296,6 +296,7 @@ End
# #
Counter endnotes Counter endnotes
GuiName Endnotes
PrettyFormat "Endnote ##" PrettyFormat "Endnote ##"
End End

View File

@ -5,6 +5,7 @@ Format 80
# appendix applies to sections. # appendix applies to sections.
Counter section Counter section
GuiName Section
Within "none" Within "none"
LabelString "\arabic{section}" LabelString "\arabic{section}"
LabelStringAppendix "\Alph{section}" LabelStringAppendix "\Alph{section}"

View File

@ -4,12 +4,14 @@
Format 80 Format 80
Counter chapter Counter chapter
GuiName Chapter
Within "" Within ""
LabelString "\arabic{chapter}" LabelString "\arabic{chapter}"
LabelStringAppendix "\Alph{chapter}" LabelStringAppendix "\Alph{chapter}"
End End
Counter section Counter section
GuiName Section
Within chapter Within chapter
LabelString "" LabelString ""
End End
@ -32,10 +34,12 @@ Float
End End
Counter listing Counter listing
GuiName Listing
Within chapter Within chapter
End End
Counter footnote Counter footnote
GuiName Footnote
Within chapter Within chapter
LabelString "\arabic{footnote}" LabelString "\arabic{footnote}"
End End

View File

@ -586,30 +586,38 @@ End
# Counters definitions # Counters definitions
### ###
Counter enumi Counter enumi
GuiName "Numbered List (Level 1)"
End End
Counter enumii Counter enumii
GuiName "Numbered List (Level 2)"
Within enumi Within enumi
End End
Counter enumiii Counter enumiii
GuiName "Numbered List (Level 3)"
Within enumii Within enumii
End End
Counter enumiv Counter enumiv
GuiName "Numbered List (Level 4)"
Within enumiii Within enumiii
End End
Counter bibitem Counter bibitem
GuiName "Bibliography Item"
End End
Counter figure Counter figure
GuiName Figure
End End
Counter table Counter table
GuiName Table
End End
Counter algorithm Counter algorithm
GuiName Algorithm
End End
### ###

View File

@ -22,6 +22,7 @@ End
# Equations are numbered by chapter # Equations are numbered by chapter
Counter equation Counter equation
GuiName Equation
Within chapter Within chapter
LabelString "\thechapter.\arabic{equation}" LabelString "\thechapter.\arabic{equation}"
End End

View File

@ -45,6 +45,7 @@ Input stdfloats.inc
# Adapt enumii counter display to KOMA default # Adapt enumii counter display to KOMA default
Counter enumii Counter enumii
GuiName "Numbered List (Level 2)"
Within enumi Within enumi
LabelString "\alph{enumii})" LabelString "\alph{enumii})"
End End

View File

@ -6,73 +6,89 @@
Format 80 Format 80
Counter part Counter part
GuiName Part
LabelString "\Roman{part}" LabelString "\Roman{part}"
PrettyFormat "Part \Roman{part}" PrettyFormat "Part \Roman{part}"
End End
Counter chapter Counter chapter
GuiName Chapter
PrettyFormat "Chapter ##" PrettyFormat "Chapter ##"
End End
Counter section Counter section
GuiName Section
Within chapter Within chapter
PrettyFormat "Section ##" PrettyFormat "Section ##"
End End
Counter subsection Counter subsection
GuiName Subsection
Within section Within section
PrettyFormat "Section ##" PrettyFormat "Section ##"
End End
Counter subsubsection Counter subsubsection
GuiName Subsubsection
Within subsection Within subsection
PrettyFormat "Section ##" PrettyFormat "Section ##"
End End
Counter paragraph Counter paragraph
GuiName Paragraph
Within subsubsection Within subsubsection
PrettyFormat "Paragraph ##" PrettyFormat "Paragraph ##"
End End
Counter subparagraph Counter subparagraph
GuiName Subparagraph
Within paragraph Within paragraph
PrettyFormat "Paragraph ##" PrettyFormat "Paragraph ##"
End End
Counter enumi Counter enumi
GuiName "Numbered List (Level 1)"
LabelString "\arabic{enumi}." LabelString "\arabic{enumi}."
End End
Counter enumii Counter enumii
GuiName "Numbered List (Level 2)"
Within enumi Within enumi
LabelString "(\alph{enumii})" LabelString "(\alph{enumii})"
End End
Counter enumiii Counter enumiii
GuiName "Numbered List (Level 3)"
Within enumii Within enumii
LabelString "\roman{enumiii}." LabelString "\roman{enumiii}."
End End
Counter enumiv Counter enumiv
GuiName "Numbered List (Level 4)"
Within enumiii Within enumiii
LabelString "\Alph{enumiv}." LabelString "\Alph{enumiv}."
End End
Counter bibitem Counter bibitem
GuiName "Bibliography Item"
End End
Counter listing Counter listing
GuiName Listing
End End
Counter equation Counter equation
GuiName Equation
PrettyFormat "Equation ##" PrettyFormat "Equation ##"
End End
Counter footnote Counter footnote
GuiName Footnote
PrettyFormat "Footnote ##" PrettyFormat "Footnote ##"
End End
Counter thanks Counter thanks
GuiName "Thanks (Footnote)"
PrettyFormat "Footnote ##" PrettyFormat "Footnote ##"
LabelString "\fnsymbol{thanks}" LabelString "\fnsymbol{thanks}"
End End

View File

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

View File

@ -11,6 +11,7 @@ Format 80
Input litinsets.inc Input litinsets.inc
Counter chunk Counter chunk
GuiName "Knitr Chunk"
InitialValue 2 InitialValue 2
End End

View File

@ -24,30 +24,43 @@
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Format 80 Format 80
Counter theorem Counter theorem
GuiName Theorem
End End
Counter corollary Counter corollary
GuiName Corollary
End End
Counter lemma Counter lemma
GuiName Lemma
End End
Counter proposition Counter proposition
GuiName Proposition
End End
Counter conjecture Counter conjecture
GuiName Conjecture
End End
Counter fact Counter fact
GuiName Fact
End End
Counter definition Counter definition
GuiName Definition
End End
Counter example Counter example
GuiName Example
End End
Counter problem Counter problem
GuiName Problem
End End
Counter exercise Counter exercise
GuiName Exercise
End End
Counter solution Counter solution
GuiName Solution
End End
Counter remark Counter remark
GuiName Remark
End End
Counter claim Counter claim
GuiName Claim
End End
OutlinerName thm "Definitions & Theorems" OutlinerName thm "Definitions & Theorems"

View File

@ -24,30 +24,43 @@ Requires amsmath,amsthm
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem
End End
Counter corollary Counter corollary
GuiName Corollary
End End
Counter lemma Counter lemma
GuiName Lemma
End End
Counter proposition Counter proposition
GuiName Proposition
End End
Counter conjecture Counter conjecture
GuiName Conjecture
End End
Counter fact Counter fact
GuiName Fact
End End
Counter definition Counter definition
GuiName Definition
End End
Counter example Counter example
GuiName Example
End End
Counter solution Counter solution
GuiName Solution
End End
Counter problem Counter problem
GuiName Problem
End End
Counter exercise Counter exercise
GuiName Exercise
End End
Counter remark Counter remark
GuiName Remark
End End
Counter claim Counter claim
GuiName Claim
End End
Input theorems-order.inc Input theorems-order.inc

View File

@ -26,30 +26,43 @@
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Format 80 Format 80
Counter theorem Counter theorem
GuiName Theorem
End End
Counter corollary Counter corollary
GuiName Corollary
End End
Counter lemma Counter lemma
GuiName Lemma
End End
Counter proposition Counter proposition
GuiName Proposition
End End
Counter conjecture Counter conjecture
GuiName Conjecture
End End
Counter fact Counter fact
GuiName Fact
End End
Counter definition Counter definition
GuiName Definition
End End
Counter example Counter example
GuiName Example
End End
Counter problem Counter problem
GuiName Problem
End End
Counter exercise Counter exercise
GuiName Exercise
End End
Counter solution Counter solution
GuiName Solution
End End
Counter remark Counter remark
GuiName Remark
End End
Counter claim Counter claim
GuiName Claim
End End
OutlinerName thm "Definitions & Theorems" OutlinerName thm "Definitions & Theorems"

View File

@ -40,30 +40,43 @@ Requires amsmath,amsthm
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem
End End
Counter corollary Counter corollary
GuiName Corollary
End End
Counter lemma Counter lemma
GuiName Lemma
End End
Counter proposition Counter proposition
GuiName Proposition
End End
Counter conjecture Counter conjecture
GuiName Conjecture
End End
Counter fact Counter fact
GuiName Fact
End End
Counter definition Counter definition
GuiName Definition
End End
Counter example Counter example
GuiName Example
End End
Counter solution Counter solution
GuiName Solution
End End
Counter problem Counter problem
GuiName Problem
End End
Counter exercise Counter exercise
GuiName Exercise
End End
Counter remark Counter remark
GuiName Remark
End End
Counter claim Counter claim
GuiName Claim
End End

View File

@ -38,26 +38,37 @@ 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
End End
Counter algorithm Counter algorithm
GuiName Algorithm
End End
Counter axiom Counter axiom
GuiName Axiom
End End
Counter condition Counter condition
GuiName Condition
End End
Counter note Counter note
GuiName Note
End End
Counter notation Counter notation
GuiName Notation
End End
Counter summary Counter summary
GuiName Summary
End End
Counter acknowledgement Counter acknowledgement
GuiName Acknowledgement
End End
Counter conclusion Counter conclusion
GuiName Conclusion
End End
Counter assumption Counter assumption
GuiName Assumption
End End
Counter question Counter question
GuiName Question
End End

View File

@ -39,26 +39,37 @@ 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
End End
Counter algorithm Counter algorithm
GuiName Algorithm
End End
Counter axiom Counter axiom
GuiName Axiom
End End
Counter condition Counter condition
GuiName Condition
End End
Counter note Counter note
GuiName Note
End End
Counter notation Counter notation
GuiName Notation
End End
Counter summary Counter summary
GuiName Summary
End End
Counter acknowledgement Counter acknowledgement
GuiName Acknowledgement
End End
Counter conclusion Counter conclusion
GuiName Conclusion
End End
Counter assumption Counter assumption
GuiName Assumption
End End
Counter question Counter question
GuiName Question
End End

View File

@ -19,6 +19,7 @@ Format 80
Requires amsmath,amsthm Requires amsmath,amsthm
Counter theorem Counter theorem
GuiName Theorem
End End
Input theorems-order.inc Input theorems-order.inc

View File

@ -16,30 +16,43 @@ Format 80
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem
End End
Counter corollary Counter corollary
GuiName Corollary
End End
Counter lemma Counter lemma
GuiName Lemma
End End
Counter proposition Counter proposition
GuiName Proposition
End End
Counter conjecture Counter conjecture
GuiName Conjecture
End End
Counter fact Counter fact
GuiName Fact
End End
Counter definition Counter definition
GuiName Definition
End End
Counter example Counter example
GuiName Example
End End
Counter problem Counter problem
GuiName Problem
End End
Counter exercise Counter exercise
GuiName Exercise
End End
Counter solution Counter solution
GuiName Solution
End End
Counter remark Counter remark
GuiName Remark
End End
Counter claim Counter claim
GuiName Claim
End End
Input theorems-bytype.inc Input theorems-bytype.inc

View File

@ -9,17 +9,21 @@
Format 80 Format 80
Counter casei Counter casei
GuiName "Case (Level 1)"
LabelString "Case \arabic{casei}." LabelString "Case \arabic{casei}."
End End
Counter caseii Counter caseii
GuiName "Case (Level 2)"
Within casei Within casei
LabelString "Case \roman{caseii}." LabelString "Case \roman{caseii}."
End End
Counter caseiii Counter caseiii
GuiName "Case (Level 3)"
Within caseii Within caseii
LabelString "Case \alph{caseiii}." LabelString "Case \alph{caseiii}."
End End
Counter caseiv Counter caseiv
GuiName "Case (Level 4)"
Within caseiii Within caseiii
LabelString "Case \arabic{caseiv}." LabelString "Case \arabic{caseiv}."
End End

View File

@ -16,39 +16,51 @@ Format 80
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem
Within chapter Within chapter
End End
Counter corollary Counter corollary
GuiName Corollary
Within chapter Within chapter
End End
Counter lemma Counter lemma
GuiName Lemma
Within chapter Within chapter
End End
Counter proposition Counter proposition
GuiName Proposition
Within chapter Within chapter
End End
Counter conjecture Counter conjecture
GuiName Conjecture
Within chapter Within chapter
End End
Counter fact Counter fact
GuiName Fact
Within chapter Within chapter
End End
Counter definition Counter definition
GuiName Definition
Within chapter Within chapter
End End
Counter example Counter example
GuiName Example
Within chapter Within chapter
End End
Counter problem Counter problem
GuiName Problem
Within chapter Within chapter
End End
Counter exercise Counter exercise
GuiName Exercise
Within chapter Within chapter
End End
Counter remark Counter remark
GuiName Remark
Within chapter Within chapter
End End
Counter claim Counter claim
GuiName Claim
Within chapter Within chapter
End End

View File

@ -13,6 +13,7 @@
Format 80 Format 80
Counter theorem Counter theorem
GuiName Theorem
Within chapter Within chapter
End End

View File

@ -16,39 +16,51 @@ Format 80
# We need separate counters for each theorem-like style. # We need separate counters for each theorem-like style.
Counter theorem Counter theorem
GuiName Theorem
Within section Within section
End End
Counter corollary Counter corollary
GuiName Corollary
Within section Within section
End End
Counter lemma Counter lemma
GuiName Lemma
Within section Within section
End End
Counter proposition Counter proposition
GuiName Proposition
Within section Within section
End End
Counter conjecture Counter conjecture
GuiName Conjecture
Within section Within section
End End
Counter fact Counter fact
GuiName Fact
Within section Within section
End End
Counter definition Counter definition
GuiName Definition
Within section Within section
End End
Counter example Counter example
GuiName Example
Within section Within section
End End
Counter problem Counter problem
GuiName Problem
Within section Within section
End End
Counter exercise Counter exercise
GuiName Exercise
Within section Within section
End End
Counter remark Counter remark
GuiName Remark
Within section Within section
End End
Counter claim Counter claim
GuiName Claim
Within section Within section
End End

View File

@ -12,6 +12,7 @@
Format 80 Format 80
Counter theorem Counter theorem
GuiName Theorem
Within section Within section
End End

View File

@ -12,6 +12,7 @@
Format 80 Format 80
Counter theorem Counter theorem
GuiName Theorem
End End
Input theorems.inc Input theorems.inc

View File

@ -31,6 +31,7 @@ Format 80
OutlinerName thm "Definitions & Theorems" OutlinerName thm "Definitions & Theorems"
Counter theorem Counter theorem
GuiName Theorem
End End
Style Theorem Style Theorem
Category Reasoning Category Reasoning
@ -75,6 +76,7 @@ End
Counter corollary Counter corollary
GuiName Corollary
End End
Style Corollary Style Corollary
CopyStyle Theorem CopyStyle Theorem
@ -91,6 +93,7 @@ End
Counter lemma Counter lemma
GuiName Lemma
End End
Style Lemma Style Lemma
CopyStyle Theorem CopyStyle Theorem
@ -107,6 +110,7 @@ End
Counter proposition Counter proposition
GuiName Proposition
End End
Style Proposition Style Proposition
CopyStyle Theorem CopyStyle Theorem
@ -123,6 +127,7 @@ End
Counter prop Counter prop
GuiName Prop(osition)
End End
Style Prop Style Prop
CopyStyle Theorem CopyStyle Theorem
@ -139,6 +144,7 @@ End
Counter conjecture Counter conjecture
GuiName Conjecture
End End
Style Conjecture Style Conjecture
CopyStyle Theorem CopyStyle Theorem
@ -162,6 +168,7 @@ End
Counter fact Counter fact
GuiName Fact
End End
Style Fact Style Fact
CopyStyle Theorem CopyStyle Theorem
@ -178,6 +185,7 @@ End
Counter definition Counter definition
GuiName Definition
End End
Style Definition Style Definition
CopyStyle Theorem CopyStyle Theorem
@ -202,6 +210,7 @@ End
Counter example Counter example
GuiName Example
End End
Style Example Style Example
CopyStyle Conjecture CopyStyle Conjecture
@ -219,6 +228,7 @@ End
Counter problem Counter problem
GuiName Problem
End End
Style Problem Style Problem
CopyStyle Definition CopyStyle Definition
@ -237,6 +247,7 @@ End
Counter prob Counter prob
GuiName Prob(lem)
Within chapter Within chapter
End End
# Prob does not copy a style to avoid preamble code # Prob does not copy a style to avoid preamble code
@ -269,6 +280,7 @@ End
Counter solution Counter solution
GuiName Solution
End End
Style Solution Style Solution
CopyStyle Problem CopyStyle Problem
@ -300,6 +312,7 @@ End
Counter exercise Counter exercise
GuiName Exercise
End End
Style Exercise Style Exercise
CopyStyle Definition CopyStyle Definition
@ -317,6 +330,7 @@ End
Counter remark Counter remark
GuiName Remark
End End
Style Remark Style Remark
CopyStyle Conjecture CopyStyle Conjecture
@ -347,6 +361,7 @@ End
Counter case Counter case
GuiName Case
End End
Style Case Style Case
CopyStyle Remark CopyStyle Remark
@ -364,6 +379,7 @@ End
Counter property Counter property
GuiName Property
End End
Style Property Style Property
CopyStyle Claim CopyStyle Claim
@ -381,6 +397,7 @@ End
Counter question Counter question
GuiName Question
End End
Style Question Style Question
CopyStyle Claim CopyStyle Claim
@ -398,6 +415,7 @@ End
Counter note Counter note
GuiName Note
End End
Style Note Style Note
CopyStyle Claim CopyStyle Claim

View File

@ -236,9 +236,11 @@ End
# this steps the counters # this steps the counters
Counter marginfigure Counter marginfigure
GuiName "Margin Figure"
End End
Counter margintable Counter margintable
GuiName "Margin Table"
End End
# define the floats # define the floats