Add a bunch of RefFormat and PrettyFormat tags.

diff --git a/lib/layouts/AEA.layout b/lib/layouts/AEA.layout
index 69ba1d5450015cc57e32cf14063b3623a8c9cdb1..9383fa0af9a256f4f4ace5ef7bfe29dbe089d588 100644 (file)
--- a/lib/layouts/AEA.layout
+++ b/lib/layouts/AEA.layout
@@ -201,6 +201,11 @@ Style Axiom
        EndPreamble
 End
 
+Counter case
+       GuiName Case
+       PrettyFormat "Case ##"
+End
+
 Style Case
        CopyStyle       Remark
        LatexName       case
@@ -307,6 +312,11 @@ Style Proposition
        EndPreamble
 End
 
+Counter remark
+       GuiName Remark
+       PrettyFormat "Remark ##"
+End
+
 Style Remark
        LatexName       remark
        LabelString     "Remark \theremark."
@@ -315,6 +325,11 @@ Style Remark
        EndPreamble
 End
 
+Counter solution
+       GuiName Solution
+       PrettyFormat "Solution ##"
+End
+
 Style Solution
        CopyStyle       Remark
        LatexName       solution
@@ -325,6 +340,11 @@ Style Solution
        EndPreamble
 End
 
+Counter summary
+       GuiName Summary
+       PrettyFormat "Summary ##"
+End
+
 Style Summary
        LatexName       summary
        LabelCounter    summary
@@ -349,15 +369,3 @@ Style Proof
        EndPreamble
 End
 
-Counter case
-       GuiName Case
-End
-Counter remark
-       GuiName Remark
-End
-Counter summary
-       GuiName Summary
-End
-Counter solution
-       GuiName Solution
-End

diff --git a/lib/layouts/IEEEtran.layout b/lib/layouts/IEEEtran.layout
index 7c305d9857de9c10f61e738c0f6f7a598c5a72fd..668dfa4dbb3f51a5d0fde06c6cce47b22aab913c 100644 (file)
--- a/lib/layouts/IEEEtran.layout
+++ b/lib/layouts/IEEEtran.layout
@@ -47,6 +47,21 @@ End
 
 Counter                theorem
        GuiName Theorem
+       RefFormat thm "Theorem \arabic{theorem}"
+       RefFormat cor "Corollary \arabic{theorem}"
+       RefFormat lem "Lemma \arabic{theorem}"
+       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat conj "Conjecture \arabic{theorem}"
+       RefFormat def "Definition \arabic{theorem}"
+       RefFormat exa "Example \arabic{theorem}"
+       RefFormat prob "Problem \arabic{theorem}"
+       RefFormat exer "Exercise \arabic{theorem}"
+       RefFormat solu "Solution \arabic{theorem}"
+       RefFormat rem "Remark \arabic{theorem}"
+       RefFormat claim "Claim \arabic{theorem}"
+       RefFormat fact "Fact \arabic{theorem}"
+       RefFormat cri "Criterion \arabic{theorem}"
+       RefFormat alg "Algorithm \arabic{theorem}"
 End
 
 Input stdcounters.inc

diff --git a/lib/layouts/acmart.layout b/lib/layouts/acmart.layout
index 71c65dbc707dd04a9e20f530c59a567128b844f7..91fb1d14cde6d3c2a47233a9b1fd6424346ce50f 100644 (file)
--- a/lib/layouts/acmart.layout
+++ b/lib/layouts/acmart.layout
@@ -571,6 +571,13 @@ OutlinerName thm "Definitions & Theorems"
 Counter theorem
        GuiName Theorem
        Within                section
+       RefFormat thm "Theorem \arabic{theorem}"
+       RefFormat cor "Corollary \arabic{theorem}"
+       RefFormat lem "Lemma \arabic{theorem}"
+       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat conj "Conjecture \arabic{theorem}"
+       RefFormat def "Definition \arabic{theorem}"
+       RefFormat exa "Example \arabic{theorem}"
 End
 
 Style Theorem

diff --git a/lib/layouts/algorithm2e.module b/lib/layouts/algorithm2e.module
index 2def0a42882ad9c3e787a278a9082b6056b993ef..659d2a07fb9bdad7aa768917e9272f3a2ce7c834 100644 (file)
--- a/lib/layouts/algorithm2e.module
+++ b/lib/layouts/algorithm2e.module
@@ -28,6 +28,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listofalgorithms
        RefPrefix             alg
+       PrettyFormat          "Algorithm ##"
 End
 
 Style Algorithm

diff --git a/lib/layouts/beamer.layout b/lib/layouts/beamer.layout
index 052558a55314192831f896605b6015e6e693abf5..e9d9c5d9043427d1a8b81ee71470af053f7363a4 100644 (file)
--- a/lib/layouts/beamer.layout
+++ b/lib/layouts/beamer.layout
@@ -1730,6 +1730,7 @@ Float
   IsPredefined     true
   UsesFloatPkg     false
   ListCommand      listoftables
+  PrettyFormat     "Table ##"
 End
 
 Float
@@ -1743,6 +1744,7 @@ Float
   IsPredefined     true
   UsesFloatPkg     false
   ListCommand      listoffigures
+  PrettyFormat     "Figure ##"
 End
 
 

diff --git a/lib/layouts/broadway.layout b/lib/layouts/broadway.layout
index 680188a5d100fc0aed006b3195909bd9f3ee43d0..36d94b50d69b2d71f437f908ff3e3467fd1ed53e 100644 (file)
--- a/lib/layouts/broadway.layout
+++ b/lib/layouts/broadway.layout
@@ -25,11 +25,13 @@ DefaultStyle Dialogue
 
 Counter act
        GuiName "Act Number"
+       PrettyFormat "Act ##"
 End
 
 
 Counter scene
        GuiName "Scene Number"
+       PrettyFormat "Scene ##"
 End
 
 

diff --git a/lib/layouts/elsart.layout b/lib/layouts/elsart.layout
index a8aac73b5d608fbb311b8f3d41cc0f530ae2010f..6c62ebb48288bdc6396eddf55d3799350733f5ba 100644 (file)
--- a/lib/layouts/elsart.layout
+++ b/lib/layouts/elsart.layout
@@ -37,15 +37,6 @@ End
 TitleLatexType Environment
 TitleLatexName frontmatter
 
-Counter summ
-       GuiName Summary
-End
-
-
-Counter case
-       GuiName Case
-End
-
 
 Style Standard
        Category              MainText
@@ -304,6 +295,18 @@ End
 
 Counter theorem
        GuiName Theorem
+       RefFormat thm "Theorem \arabic{theorem}"
+       RefFormat cor "Corollary \arabic{theorem}"
+       RefFormat lem "Lemma \arabic{theorem}"
+       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat conj "Conjecture \arabic{theorem}"
+       RefFormat def "Definition \arabic{theorem}"
+       RefFormat exa "Example \arabic{theorem}"
+       RefFormat prob "Problem \arabic{theorem}"
+       RefFormat exer "Exercise \arabic{theorem}"
+       RefFormat solu "Solution \arabic{theorem}"
+       RefFormat rem "Remark \arabic{theorem}"
+       RefFormat claim "Claim \arabic{theorem}"
 End
 
 
@@ -520,6 +523,11 @@ Style Claim
 End
 
 
+Counter summ
+       GuiName Summary
+       PrettyFormat "Summary ##"
+End
+
 Style Summary
        CopyStyle             Theorem
        LatexName             summ
@@ -529,9 +537,15 @@ Style Summary
        DocBookWrapperAttr    role='summary'
        DocBookTag            para
        DocBookGenerateTitle  true
+       RefPrefix             summ
 End
 
 
+Counter case
+       GuiName Case
+       PrettyFormat "Case ##"
+End
+
 Style Case
        CopyStyle             Theorem
        LatexName             case
@@ -541,6 +555,7 @@ Style Case
        DocBookWrapperAttr    role='case'
        DocBookTag            para
        DocBookGenerateTitle  true
+       RefPrefix             case
 End
 
 
@@ -560,6 +575,7 @@ Style Acknowledgment
        EndFont
        DocBookTag            para
        DocBookWrapperTag     acknowledgements
+       RefPrefix             ack
 End
 
 

diff --git a/lib/layouts/eqs-within-sections.module b/lib/layouts/eqs-within-sections.module
index 3ff4dc024f5b57f6210136ae94bcee9299cf07f1..d92df497e98d16482d018648d33c272db662a309 100644 (file)
--- a/lib/layouts/eqs-within-sections.module
+++ b/lib/layouts/eqs-within-sections.module
@@ -17,4 +17,5 @@ Counter equation
        GuiName Equation
        Within section
        LabelString "\thesection.\arabic{equation}"
+       PrettyFormat "(\thesection.\arabic{equation})"
 End

diff --git a/lib/layouts/heb-article.layout b/lib/layouts/heb-article.layout
index 48227163083b1c500daef2f18c8b623071c1cddc..00fb128f20d9fff5ae27c6e4caa45912b6887d3f 100644 (file)
--- a/lib/layouts/heb-article.layout
+++ b/lib/layouts/heb-article.layout
@@ -11,6 +11,12 @@ Input article
 
 Counter theorem
        Within  section
+       RefFormat thm "Theorem \thesection.\arabic{theorem}"
+       RefFormat cor "Corollary \thesection.\arabic{theorem}"
+       RefFormat lem "Lemma \thesection.\arabic{theorem}"
+       RefFormat claim "Claim \thesection.\arabic{theorem}"
+       RefFormat def "Definition \thesection.\arabic{theorem}"
+       RefFormat rem "Remark \thesection.\arabic{theorem}"
 End
 
 Style Theorem

diff --git a/lib/layouts/ijmpc.layout b/lib/layouts/ijmpc.layout
index d3465f147b8956adb2d294651bd65b62b612e72b..18ab7b70a6547abe8d072ad6a698237be9125faa 100644 (file)
--- a/lib/layouts/ijmpc.layout
+++ b/lib/layouts/ijmpc.layout
@@ -466,6 +466,7 @@ End
 Counter claim
        GuiName Claim
   Within       section
+  PrettyFormat "Claim ##"
 End
 Style Claim
   LabelCounter claim

diff --git a/lib/layouts/ijmpd.layout b/lib/layouts/ijmpd.layout
index 751a99a5732594b1859dd606a8940452fe3a6f55..e481b67815af00cc94504d34e670800d679e1cc9 100644 (file)
--- a/lib/layouts/ijmpd.layout
+++ b/lib/layouts/ijmpd.layout
@@ -431,6 +431,7 @@ End
 Counter theorem
        GuiName Theorem
   Within       section
+  PrettyFormat "Theorem ##"
 End
 Style Theorem
   ResetArgs      1
@@ -448,6 +449,7 @@ End
 Counter remark
        GuiName Remark
   Within       section
+  PrettyFormat "Remark ##"
 End
 Style Remark
   LabelString  "Remark \theremark."
@@ -460,6 +462,7 @@ End
 Counter corollary
        GuiName Corollary
   Within       section
+  PrettyFormat "Corollary ##"
 End
 Style Corollary
   LabelString  "Corollary \thecorollary."
@@ -468,6 +471,7 @@ End
 Counter lemma
        GuiName Lemma
   Within       section
+  PrettyFormat "Lemma ##"
 End
 Style Lemma
   LabelString  "Lemma \thelemma."
@@ -484,6 +488,7 @@ End
 Counter question
        GuiName Question
   Within       section
+  PrettyFormat "Question ##"
 End
 Style Question
   LabelString  "Question \thequestion."
@@ -495,6 +500,7 @@ End
 Counter claim
        GuiName Claim
   Within       section
+  PrettyFormat "Claim ##"
 End
 Style Claim
   LabelCounter claim
@@ -507,6 +513,7 @@ End
 Counter conjecture
        GuiName Conjecture
   Within       section
+  PrettyFormat "Conjecture ##"
 End
 Style Conjecture
   LabelString  "Conjecture \theconjecture."
@@ -518,6 +525,7 @@ End
 Counter prop
        GuiName Prop(osition)
   Within       section
+  PrettyFormat "Proposition ##"
 End
 
 Counter appendix

diff --git a/lib/layouts/linguistics.module b/lib/layouts/linguistics.module
index 669d527ec9ed879ccd2ceed677a26540c28d9585..77380fdd9a692b8a51e136c5df468ef238b65b73 100644 (file)
--- a/lib/layouts/linguistics.module
+++ b/lib/layouts/linguistics.module
@@ -18,42 +18,49 @@ Counter example
        GuiName Example
        Within               chapter
        LabelString          "(\arabic{example})"
+       PrettyFormat         "(\arabic{example})"
 End
 
 Counter examplei
        GuiName              "Numbered Example (Multiline)"
        Within               chapter
        LabelString          "(\arabic{examplei})"
+       PrettyFormat         "(\arabic{examplei})"
 End
 
 Counter subexample
        GuiName              Subexample
        Within               examplei
        LabelString          "\theexamplei (\alph{subexample})"
+       PrettyFormat         "\theexamplei (\alph{subexample})"
 End
 
 Counter subexamplei
        GuiName              Subexample
        Within               examplei
        LabelString          "\theexamplei (\alph{subexamplei})"
+       PrettyFormat         "\theexamplei (\alph{subexamplei})"
 End
 
 Counter subexampleii
        GuiName              Subexample
        Within               examplei
        LabelString          "\theexamplei (\alph{subexampleii})"
+       PrettyFormat         "\theexamplei (\alph{subexampleii})"
 End
 
 Counter subexampleiii
        GuiName              Subexample
        Within               examplei
        LabelString          "\theexamplei (\alph{subexampleiii})"
+       PrettyFormat         "\theexamplei (\alph{subexampleiii})"
 End
 
 Counter subexampleiv
        GuiName              Subexample
        Within               examplei
        LabelString          "\theexamplei (\alph{subexampleiv})"
+       PrettyFormat         "\theexamplei (\alph{subexampleiv})"
 End
 
 #
@@ -598,5 +605,6 @@ Float
        ListName              "List of Tableaux"
        IsPredefined          false
        UsesFloatPkg          true
+       PrettyFormat          "Tableaux ##"
 End
 

diff --git a/lib/layouts/numreport.inc b/lib/layouts/numreport.inc
index 40a4037894b5f57ed9e38a8d5e61f976ba2799d3..0b18af40be6946005a7f630aaf17978fe73db9a0 100644 (file)
--- a/lib/layouts/numreport.inc
+++ b/lib/layouts/numreport.inc
@@ -8,12 +8,14 @@ Counter chapter
        Within                ""
        LabelString           "\arabic{chapter}"
        LabelStringAppendix   "\Alph{chapter}"
+       PrettyFormat "Chapter ##"
 End
 
 Counter section
        GuiName Section
        Within                chapter
        LabelString           ""
+       PrettyFormat "Section ##"
 End
 
 Float
@@ -41,4 +43,5 @@ End
 Counter footnote
        GuiName Footnote
        Within                chapter
+       PrettyFormat    "footnote \arabic{footnote}"
 End

diff --git a/lib/layouts/powerdot.layout b/lib/layouts/powerdot.layout
index cce178f77ddb9eb2c5ec322002299c6329754fbb..233cafbf8a57476cd54fdac6307d35e9e3434118 100644 (file)
--- a/lib/layouts/powerdot.layout
+++ b/lib/layouts/powerdot.layout
@@ -569,6 +569,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listoftables
        RefPrefix             tab
+       PrettyFormat          "Table ##"
 End
 
 
@@ -586,6 +587,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listoffigures
        RefPrefix             fig
+       PrettyFormat          "Figure ##"
 End
 
 
@@ -602,6 +604,7 @@ Float
        IsPredefined          false
        UsesFloatPkg          true
        RefPrefix             alg
+       PrettyFormat          "Algorithm ##"
 End
 
 ###
@@ -609,21 +612,25 @@ End
 ###
 Counter enumi
        GuiName "Numbered List (Level 1)"
+       PrettyFormat         "(\arabic{enumi})"
 End
 
 Counter enumii
        GuiName "Numbered List (Level 2)"
   Within        enumi
+       PrettyFormat         "(\arabic{enumii})"
 End
 
 Counter enumiii
        GuiName "Numbered List (Level 3)"
   Within        enumii
+       PrettyFormat         "(\arabic{enumiii})"
 End
 
 Counter enumiv
        GuiName "Numbered List (Level 4)"
   Within        enumiii
+       PrettyFormat         "(\arabic{enumiv})"
 End
 
 Counter bibitem

diff --git a/lib/layouts/revtex4-x.inc b/lib/layouts/revtex4-x.inc
index bf0815f5f402733c3096ad79a52d316c17062120..e53c3a8ca329007850a9add0da9d9b82243395a5 100644 (file)
--- a/lib/layouts/revtex4-x.inc
+++ b/lib/layouts/revtex4-x.inc
@@ -320,6 +320,7 @@ Float
        IsPredefined    false
        UsesFloatPkg    true
        RefPrefix               alg
+       PrettyFormat    "Algorithm ##"
 End
 
 
@@ -335,6 +336,7 @@ Float
        Style                   plain
        Type                    video
        UsesFloatPkg    false
+       PrettyFormat    "Video ##"
 End
 
 

diff --git a/lib/layouts/sciposter.layout b/lib/layouts/sciposter.layout
index 819fb73830c5a473de57f15e4ed5c646a3124f9e..01c5dea52083e53077c97db8a34470b6ab64db33 100644 (file)
--- a/lib/layouts/sciposter.layout
+++ b/lib/layouts/sciposter.layout
@@ -97,6 +97,7 @@ Float
        IsPredefined          true
        UsesFloatPkg          false
        RefPrefix             alg
+       PrettyFormat          "Algorithm ##"
 End
 
 Float
@@ -111,6 +112,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listoffigures
        RefPrefix             fig
+       PrettyFormat          "Figure ##"
 End
 
 Float
@@ -125,6 +127,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listoftables
        RefPrefix             tab
+       PrettyFormat          "Table ##"
 End
 
 InsetLayout "Flex:Giant"

diff --git a/lib/layouts/scrbook.layout b/lib/layouts/scrbook.layout
index 04657b7b41eddafb0b0a5d8882d4e6af92145321..976859dee322b9b26b7b59cd6f4de1e11b64fccc 100644 (file)
--- a/lib/layouts/scrbook.layout
+++ b/lib/layouts/scrbook.layout
@@ -30,6 +30,7 @@ Counter equation
        GuiName Equation
        Within chapter
        LabelString "\thechapter.\arabic{equation}"
+       PrettyFormat "equation \thechapter.\arabic{equation}"
 End
 
 

diff --git a/lib/layouts/scrclass.inc b/lib/layouts/scrclass.inc
index 8f9b0878d7c66f5e9d74645560b75e5cef3634e6..41ac90a91b05ecbb21d4949cbfe434689a4e1199 100644 (file)
--- a/lib/layouts/scrclass.inc
+++ b/lib/layouts/scrclass.inc
@@ -46,8 +46,6 @@ Input stdfloats.inc
 
 # Adapt enumii counter display to KOMA default
 Counter enumii
-       GuiName "Numbered List (Level 2)"
-       Within               enumi
        LabelString          "\alph{enumii})"
 End
 

diff --git a/lib/layouts/stdcounters.inc b/lib/layouts/stdcounters.inc
index c963370c033b2a0d5e18383c473f3626f115d182..662706fadc6242b19cfecfbfffb53a7f35d3b3d3 100644 (file)
--- a/lib/layouts/stdcounters.inc
+++ b/lib/layouts/stdcounters.inc
@@ -94,6 +94,6 @@ End
 
 Counter thanks
        GuiName "Footnote (Title)"
-       PrettyFormat         "Footnote ##"
+       PrettyFormat         "Footnote \arabic{footnote}"
        LabelString          "\fnsymbol{thanks}"
 End

diff --git a/lib/layouts/stdfloats.inc b/lib/layouts/stdfloats.inc
index 53390253c93e03d90a26c5d3ae381c1c7e86dee8..56500144a10ad4158b0b3b78f7c40b8b6ffa17b9 100644 (file)
--- a/lib/layouts/stdfloats.inc
+++ b/lib/layouts/stdfloats.inc
@@ -20,6 +20,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listoftables
        RefPrefix             tab
+       PrettyFormat          "Table ##"
 End
 
 
@@ -35,6 +36,7 @@ Float
        UsesFloatPkg          false
        ListCommand           listoffigures
        RefPrefix             fig
+       PrettyFormat          "Figure ##"
 End
 
 
@@ -49,6 +51,7 @@ Float
        IsPredefined          false
        UsesFloatPkg          true
        RefPrefix             alg
+       PrettyFormat          "Algorithm ##"
 End
 
 

diff --git a/lib/layouts/theorems-ams.module b/lib/layouts/theorems-ams.module
index 69935120a8290d9197d945b81702fd3373897f4b..fd5348ec706f4529359eb984f4ab5f61b7f46fd9 100644 (file)
--- a/lib/layouts/theorems-ams.module
+++ b/lib/layouts/theorems-ams.module
@@ -21,6 +21,21 @@ Requires     amsmath,amsthm
 Counter theorem
        GuiName Theorem
        LaTeXName thm
+       RefFormat thm "Theorem \arabic{theorem}"
+       RefFormat cor "Corollary \arabic{theorem}"
+       RefFormat lem "Lemma \arabic{theorem}"
+       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat conj "Conjecture \arabic{theorem}"
+       RefFormat def "Definition \arabic{theorem}"
+       RefFormat exa "Example \arabic{theorem}"
+       RefFormat prob "Problem \arabic{theorem}"
+       RefFormat exer "Exercise \arabic{theorem}"
+       RefFormat solu "Solution \arabic{theorem}"
+       RefFormat rem "Remark \arabic{theorem}"
+       RefFormat claim "Claim \arabic{theorem}"
+       RefFormat fact "Fact \arabic{theorem}"
+       RefFormat cri "Criterion \arabic{theorem}"
+       RefFormat alg "Algorithm \arabic{theorem}"
 End
 
 Input theorems-order.inc

diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 7278cf91989e1d24cc011693dfec4fcea3c6d9d8..692653b0d15576c70735b9acf4108714f06aa15d 100644 (file)
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -9,22 +9,26 @@
 Format 104
 
 Counter casei
-       GuiName "Case (Level 1)"
-        LabelString "Case \arabic{casei}."
+       GuiName "Case (Level 1)" 
+       PrettyFormat "Case \arabic{casei}"
+       LabelString "Case \arabic{casei}."
 End
 Counter caseii
        GuiName "Case (Level 2)"
         Within casei
         LabelString "Case \roman{caseii}."
+        PrettyFormat "Case \roman{caseii}"
 End
 Counter caseiii
        GuiName "Case (Level 3)"
         Within caseii
         LabelString "Case \alph{caseiii}."
+        PrettyFormat "Case \alph{caseiii}"
 End
 Counter caseiv
        GuiName "Case (Level 4)"
         Within caseiii
+        PrettyForamt "Case \arabic{caseiv}"
         LabelString "Case \arabic{caseiv}."
 End
 

diff --git a/lib/layouts/theorems-chap.module b/lib/layouts/theorems-chap.module
index 96832bf9d637497510c7734e5a165f1e8c3e7086..9df0c3461aec5ee91481b7632bcd842b5d3798a6 100644 (file)
--- a/lib/layouts/theorems-chap.module
+++ b/lib/layouts/theorems-chap.module
@@ -16,6 +16,21 @@ Counter theorem
        GuiName Theorem
        Within chapter
        LaTeXName thm
+       RefFormat thm "Theorem \thechapter.\arabic{theorem}"
+       RefFormat cor "Corollary \thechapter.\arabic{theorem}"
+       RefFormat lem "Lemma \thechapter.\arabic{theorem}"
+       RefFormat prop "Lemma \thechapter.\arabic{theorem}"
+       RefFormat conj "Conjecture \thechapter.\arabic{theorem}"
+       RefFormat def "Definition \thechapter.\arabic{theorem}"
+       RefFormat exa "Example \thechapter.\arabic{theorem}"
+       RefFormat prob "Problem \thechapter.\arabic{theorem}"
+       RefFormat exer "Exercise \thechapter.\arabic{theorem}"
+       RefFormat solu "Solution \thechapter.\arabic{theorem}"
+       RefFormat rem "Remark \thechapter.\arabic{theorem}"
+       RefFormat claim "Claim \thechapter.\arabic{theorem}"
+       RefFormat fact "Fact \thechapter.\arabic{theorem}"
+       RefFormat cri "Criterion \thechapter.\arabic{theorem}"
+       RefFormat alg "Algorithm \thechapter.\arabic{theorem}"
 End
 
 Style Theorem

diff --git a/lib/layouts/theorems-counters-bytype.inc b/lib/layouts/theorems-counters-bytype.inc
index 4fd66f6913426cb3a68b0b9dc9c26f66b9cefb4c..de61b838498337db908fef763c61a6218cef7815 100644 (file)
--- a/lib/layouts/theorems-counters-bytype.inc
+++ b/lib/layouts/theorems-counters-bytype.inc
@@ -4,47 +4,60 @@ Format 104
 Counter theorem
        GuiName Theorem
        LaTeXName thm
+       PrettyFormat "Theorem \arabic{theorem}"
 End
 Counter corollary
        GuiName Corollary
        LaTeXName cor
+       PrettyFormat "Corollary \arabic{theorem}"
 End
 Counter lemma
        GuiName Lemma
        LaTeXName lem
+       PrettyFormat "Lemma \arabic{theorem}"
 End
 Counter proposition
        GuiName Proposition
        LaTeXName prop
+       PrettyFormat "Proposition \arabic{theorem}"
 End
 Counter conjecture
        GuiName Conjecture
+       PrettyFormat "Conjecture \arabic{theorem}"
 End
 Counter fact
        GuiName Fact
+       PrettyFormat "Fact \arabic{theorem}"
 End
 Counter definition
        GuiName Definition
        LaTeXName defn
+       PrettyFormat "Definition \arabic{theorem}"
 End
 Counter example
        GuiName Example
+       PrettyFormat "Example \arabic{theorem}"
 End
 Counter problem
        GuiName Problem
+       PrettyFormat "Problem \arabic{theorem}"
 End
 Counter exercise
        GuiName Exercise
        LaTeXName xca
+       PrettyFormat "Exercise \arabic{theorem}"
 End
 Counter solution
        GuiName Solution
        LaTeXName sol
+       PrettyFormat "Solution \arabic{theorem}"
 End
 Counter remark
        GuiName Remark
        LaTeXName rem
+       PrettyFormat "Remark \arabic{theorem}"
 End
 Counter claim
        GuiName Claim
+       PrettyFormat "Claim \arabic{theorem}"
 End

diff --git a/lib/layouts/theorems-counters-extended-bytype.inc b/lib/layouts/theorems-counters-extended-bytype.inc
index 14b760f2ba3a3f86b6294628f9b3c2cf2ad75174..4d4cd1b789d2b6ccf5f1d2ba40b92284d9a9bb7e 100644 (file)
--- a/lib/layouts/theorems-counters-extended-bytype.inc
+++ b/lib/layouts/theorems-counters-extended-bytype.inc
@@ -3,33 +3,43 @@
 Format 104
 Counter criterion
        GuiName Criterion
+       PrettyFormat "Criterion \arabic{theorem}"
 End
 Counter algorithm
        GuiName Algorithm
        LaTeXName lyxalgorithm
+       PrettyFormat "Algorithm \arabic{theorem}"
 End
 Counter axiom
        GuiName Axiom
        LaTeXName ax
+       PrettyFormat "Axiom \arabic{theorem}"
 End
 Counter condition
        GuiName Condition
+       PrettyFormat "Condition \arabic{theorem}"
 End
 Counter note
        GuiName Note
+       PrettyFormat "Note \arabic{theorem}"
 End
 Counter notation
        GuiName Notation
+       PrettyFormat "Notation \arabic{theorem}"
 End
 Counter summary
        GuiName Summary
+       PrettyFormat "Summary \arabic{theorem}"
 End
 Counter conclusion
        GuiName Conclusion
+       PrettyFormat "Conclusion \arabic{theorem}"
 End
 Counter assumption
        GuiName Assumption
+       PrettyFormat "Assumption \arabic{theorem}"
 End
 Counter question
        GuiName Question
+       PrettyFormat "Question \arabic{theorem}"
 End

diff --git a/lib/layouts/theorems-sec.module b/lib/layouts/theorems-sec.module
index d367bcfecb8317bc25a202de1a0079a80aac5dc1..ca38792818bda1247625c7715cfd4aba3c2903bb 100644 (file)
--- a/lib/layouts/theorems-sec.module
+++ b/lib/layouts/theorems-sec.module
@@ -15,6 +15,21 @@ Counter theorem
        GuiName Theorem
        Within section
        LaTeXName thm
+       RefFormat thm "Theorem \thesection.\arabic{theorem}"
+       RefFormat cor "Corollary \thesection.\arabic{theorem}"
+       RefFormat lem "Lemma \thesection.\arabic{theorem}"
+       RefFormat prop "Lemma \thesection.\arabic{theorem}"
+       RefFormat conj "Conjecture \thesection.\arabic{theorem}"
+       RefFormat def "Definition \thesection.\arabic{theorem}"
+       RefFormat exa "Example \thesection.\arabic{theorem}"
+       RefFormat prob "Problem \thesection.\arabic{theorem}"
+       RefFormat exer "Exercise \thesection.\arabic{theorem}"
+       RefFormat solu "Solution \thesection.\arabic{theorem}"
+       RefFormat rem "Remark \thesection.\arabic{theorem}"
+       RefFormat claim "Claim \thesection.\arabic{theorem}"
+       RefFormat fact "Fact \thesection.\arabic{theorem}"
+       RefFormat cri "Criterion \thesection.\arabic{theorem}"
+       RefFormat alg "Algorithm \thesection.\arabic{theorem}"
 End
 
 Style Theorem

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index fdd1ccd5c620cf6426be90ac5b2512995602b328..6f6851c326b3d8cce544b01763a602709d42622c 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -14,6 +14,19 @@ Format 104
 Counter theorem
        GuiName Theorem
        LaTeXName thm
+       RefFormat thm "Theorem \arabic{theorem}"
+       RefFormat cor "Corollary \arabic{theorem}"
+       RefFormat lem "Lemma \arabic{theorem}"
+       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat conj "Conjecture \arabic{theorem}"
+       RefFormat fact "Fact \arabic{theorem}"
+       RefFormat def "Definition \arabic{theorem}"
+       RefFormat exa "Example \arabic{theorem}"
+       RefFormat prob "Problem \arabic{theorem}"
+       RefFormat exer "Exercise \arabic{theorem}"
+       RefFormat solu "Solution \arabic{theorem}"
+       RefFormat rem "Remark \arabic{theorem}"
+       RefFormat claim "Claim \arabic{theorem}"
 End
 
 Input theorems.inc

diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc
index f37b06a34f13842bb20c7546cea7ecc5ff733783..055d0efe5d25704a4615c3a1230b65e614cb0393 100644 (file)
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -84,6 +84,7 @@ End
 
 Counter                corollary
        GuiName Corollary
+       PrettyFormat "Corollary ##"
 End
 Style Corollary
        CopyStyle       Theorem
@@ -106,6 +107,7 @@ End
 
 Counter                lemma
        GuiName Lemma
+       PrettyFormat "Lemma ##"
 End
 Style Lemma
        CopyStyle       Theorem
@@ -128,6 +130,7 @@ End
 
 Counter                proposition
        GuiName Proposition
+       PrettyFormat "Proposition ##"
 End
 Style Proposition
        CopyStyle       Theorem
@@ -150,6 +153,7 @@ End
 
 Counter                prop
        GuiName Prop(osition)
+       PrettyFormat "Proposition ##"
 End
 Style Prop
        CopyStyle       Theorem
@@ -172,6 +176,7 @@ End
 
 Counter                conjecture
        GuiName Conjecture
+       PrettyFormat "Conjecture ##"
 End
 Style Conjecture
        CopyStyle       Theorem
@@ -201,6 +206,7 @@ End
 
 Counter                fact
        GuiName Fact
+       PrettyFormat "Fact ##"
 End
 Style Fact
        CopyStyle       Theorem
@@ -223,6 +229,7 @@ End
 
 Counter                definition
        GuiName Definition
+       PrettyFormat "Definition ##"
 End
 Style Definition
        CopyStyle       Theorem
@@ -253,6 +260,7 @@ End
 
 Counter                example
        GuiName Example
+       PrettyFormat "Example ##"
 End
 Style Example
        CopyStyle       Conjecture
@@ -274,6 +282,7 @@ End
 
 Counter                problem
        GuiName Problem
+       PrettyFormat "Problem ##"
 End
 Style Problem
        CopyStyle       Definition
@@ -298,7 +307,8 @@ End
 
 Counter                prob
        GuiName Prob(lem)
-  Within       chapter
+       Within  chapter
+       PrettyFormat "Problem ##"
 End
 # Prob does not copy a style to avoid preamble code
 Style Prob
@@ -336,6 +346,7 @@ End
 
 Counter                solution
        GuiName Solution
+       PrettyFormat "Solution ##"
 End
 Style Solution
        CopyStyle       Problem
@@ -378,6 +389,7 @@ End
 
 Counter                exercise
        GuiName Exercise
+       PrettyFormat "Exercise ##"
 End
 Style Exercise
        CopyStyle       Definition
@@ -401,6 +413,7 @@ End
 
 Counter                remark
        GuiName Remark
+       PrettyFormat "Remark ##"
 End
 Style Remark
        CopyStyle       Conjecture
@@ -442,6 +455,7 @@ End
 
 Counter                case
        GuiName Case
+       PrettyFormat "Case ##"
 End
 Style Case
        CopyStyle       Remark
@@ -465,6 +479,7 @@ End
 
 Counter                property
        GuiName Property
+       PrettyFormat "Property ##"
 End
 Style Property
        CopyStyle       Claim
@@ -488,6 +503,7 @@ End
 
 Counter                question
        GuiName Question
+       PrettyFormat "Question ##"
 End
 Style Question
        CopyStyle       Claim
@@ -511,6 +527,7 @@ End
 
 Counter                note
        GuiName Note
+       PrettyFormat "Note ##"
 End
 Style Note
        CopyStyle       Claim

diff --git a/lib/layouts/tufte-book.layout b/lib/layouts/tufte-book.layout
index 63fa33ac992887ef2ece7a1fecec206688930ff6..c0430709ea4d034deea2e2c1cbcb0189ed28967e 100644 (file)
--- a/lib/layouts/tufte-book.layout
+++ b/lib/layouts/tufte-book.layout
@@ -255,10 +255,12 @@ End
 # this steps the counters
 Counter                marginfigure
        GuiName "Margin Figure"
+       PrettyFormat "Margin Figure ##"
 End
 
 Counter                margintable
        GuiName "Margin Table"
+       PrettyFormat "Margin Table ##"
 End
 
 # define the floats