[LyX/master] Add a bunch of RefFormat and PrettyFormat tags.

Richard Kimberly Heck rikiheck at lyx.org
Fri Jul 28 21:08:18 UTC 2023


commit e932dc4561341f275df5904c8060a4f20719f4bb
Author: Richard Kimberly Heck <rikiheck at lyx.org>
Date:   Fri Jul 28 18:22:14 2023 -0400

    Add a bunch of RefFormat and PrettyFormat tags.
---
 lib/layouts/AEA.layout                            |   32 ++++++++++++-------
 lib/layouts/IEEEtran.layout                       |   15 +++++++++
 lib/layouts/acmart.layout                         |    7 ++++
 lib/layouts/algorithm2e.module                    |    1 +
 lib/layouts/beamer.layout                         |    2 +
 lib/layouts/broadway.layout                       |    2 +
 lib/layouts/elsart.layout                         |   34 +++++++++++++++-----
 lib/layouts/eqs-within-sections.module            |    1 +
 lib/layouts/heb-article.layout                    |    6 ++++
 lib/layouts/ijmpc.layout                          |    1 +
 lib/layouts/ijmpd.layout                          |    8 +++++
 lib/layouts/linguistics.module                    |    8 +++++
 lib/layouts/numreport.inc                         |    3 ++
 lib/layouts/powerdot.layout                       |    7 ++++
 lib/layouts/revtex4-x.inc                         |    2 +
 lib/layouts/sciposter.layout                      |    3 ++
 lib/layouts/scrbook.layout                        |    1 +
 lib/layouts/scrclass.inc                          |    2 -
 lib/layouts/stdcounters.inc                       |    2 +-
 lib/layouts/stdfloats.inc                         |    3 ++
 lib/layouts/theorems-ams.module                   |   15 +++++++++
 lib/layouts/theorems-case.inc                     |    8 ++++-
 lib/layouts/theorems-chap.module                  |   15 +++++++++
 lib/layouts/theorems-counters-bytype.inc          |   13 ++++++++
 lib/layouts/theorems-counters-extended-bytype.inc |   10 ++++++
 lib/layouts/theorems-sec.module                   |   15 +++++++++
 lib/layouts/theorems-std.module                   |   13 ++++++++
 lib/layouts/theorems-without-preamble.inc         |   19 +++++++++++-
 lib/layouts/tufte-book.layout                     |    2 +
 29 files changed, 223 insertions(+), 27 deletions(-)

diff --git a/lib/layouts/AEA.layout b/lib/layouts/AEA.layout
index 69ba1d5..9383fa0 100644
--- 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 7c305d9..668dfa4 100644
--- 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 71c65db..91fb1d1 100644
--- 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 2def0a4..659d2a0 100644
--- 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 052558a..e9d9c5d 100644
--- 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 680188a..36d94b5 100644
--- 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 a8aac73..6c62ebb 100644
--- 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 3ff4dc0..d92df49 100644
--- 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 4822716..00fb128 100644
--- 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 d3465f1..18ab7b7 100644
--- 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 751a99a..e481b67 100644
--- 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 669d527..77380fd 100644
--- 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 40a4037..0b18af4 100644
--- 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 cce178f..233cafb 100644
--- 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 bf0815f..e53c3a8 100644
--- 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 819fb73..01c5dea 100644
--- 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 04657b7..976859d 100644
--- 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 8f9b087..41ac90a 100644
--- 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 c963370..662706f 100644
--- 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 5339025..5650014 100644
--- 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 6993512..fd5348e 100644
--- 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 7278cf9..692653b 100644
--- 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 96832bf..9df0c34 100644
--- 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 4fd66f6..de61b83 100644
--- 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 14b760f..4d4cd1b 100644
--- 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 d367bcf..ca38792 100644
--- 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 fdd1ccd..6f6851c 100644
--- 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 f37b06a..055d0ef 100644
--- 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 63fa33a..c043070 100644
--- 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


More information about the lyx-cvs mailing list