X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-without-preamble.inc;h=9389cf8c66e950c81a2c22ebe160d60c7ace406b;hb=8d0d3ea0905172b4a1fba7fbfadba83ff61671c6;hp=e51a73ef71b2cd8f80fc03d45f898e0b7b92fc31;hpb=95db20e008c84991dcf2ea7fb31a639fb9b9f851;p=lyx.git

diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc
index e51a73ef71..9389cf8c66 100644
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -26,12 +26,15 @@
 # - Note
 
 
-Format 62
+Format 89
 
 OutlinerName thm "Definitions & Theorems"
 
 Counter		theorem
+	GuiName Theorem
+	LaTeXName thm
 End
+
 Style Theorem
 	Category	Reasoning
 	Margin		First_Dynamic
@@ -71,10 +74,13 @@ Style Theorem
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='theorem'
 End
 
 
 Counter		corollary
+	GuiName Corollary
 End
 Style Corollary
 	CopyStyle	Theorem
@@ -87,10 +93,13 @@ Style Corollary
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='corollary'
 End
 
 
 Counter		lemma
+	GuiName Lemma
 End
 Style Lemma
 	CopyStyle	Theorem
@@ -103,10 +112,13 @@ Style Lemma
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='lemma'
 End
 
 
 Counter		proposition
+	GuiName Proposition
 End
 Style Proposition
 	CopyStyle	Theorem
@@ -119,10 +131,13 @@ Style Proposition
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='proposition'
 End
 
 
 Counter		prop
+	GuiName Prop(osition)
 End
 Style Prop
 	CopyStyle	Theorem
@@ -135,10 +150,13 @@ Style Prop
 	LabelFont
 	  Series	Medium
 	EndFont
+	DocBookTag            para
+	DocBookAttr           role='proposition'
 End
 
 
 Counter		conjecture
+	GuiName Conjecture
 End
 Style Conjecture
 	CopyStyle	Theorem
@@ -158,10 +176,13 @@ Style Conjecture
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='conjecture'
 End
 
 
 Counter		fact
+	GuiName Fact
 End
 Style Fact
 	CopyStyle	Theorem
@@ -174,10 +195,13 @@ Style Fact
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='fact'
 End
 
 
 Counter		definition
+	GuiName Definition
 End
 Style Definition
 	CopyStyle	Theorem
@@ -198,10 +222,13 @@ Style Definition
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='definition'
 End
 
 
 Counter		example
+	GuiName Example
 End
 Style Example
 	CopyStyle	Conjecture
@@ -215,10 +242,14 @@ Style Example
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 	EndBabelPreamble
+	DocBookWrapperTag     informalexample
+	DocBookTag            para
+	DocBookAttr        ""
 End
 
 
 Counter		problem
+	GuiName Problem
 End
 Style Problem
 	CopyStyle	Definition
@@ -233,10 +264,13 @@ Style Problem
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='problem'
 End
 
 
 Counter		prob
+	GuiName Prob(lem)
   Within	chapter
 End
 # Prob does not copy a style to avoid preamble code
@@ -265,10 +299,13 @@ Style Prob
 	EndFont
 	AddToToc	thm
 	IsTocCaption	true
+	DocBookTag            para
+	DocBookAttr           role='problem'
 End
 
 
 Counter		solution
+	GuiName Solution
 End
 Style Solution
 	CopyStyle	Problem
@@ -282,6 +319,8 @@ Style Solution
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='solution'
 End
 
 
@@ -296,10 +335,13 @@ Style Sol
 	  Tooltip	"Label of the corresponding problem"
 	  IsTocCaption true
 	EndArgument
+	DocBookTag            para
+	DocBookAttr           role='solution'
 End
 
 
 Counter		exercise
+	GuiName Exercise
 End
 Style Exercise
 	CopyStyle	Definition
@@ -313,10 +355,13 @@ Style Exercise
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='exercise'
 End
 
 
 Counter		remark
+	GuiName Remark
 End
 Style Remark
 	CopyStyle	Conjecture
@@ -330,6 +375,8 @@ Style Remark
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 	EndBabelPreamble
+	DocBookTag            note
+	DocBookItemTag        para
 End
 
 
@@ -343,10 +390,14 @@ Style		Claim
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='claim'
+	DocBookItemTag        ""
 End
 
 
 Counter		case
+	GuiName Case
 End
 Style Case
 	CopyStyle	Remark
@@ -360,10 +411,13 @@ Style Case
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='case'
 End
 
 
 Counter		property
+	GuiName Property
 End
 Style Property
 	CopyStyle	Claim
@@ -377,10 +431,13 @@ Style Property
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='property'
 End
 
 
 Counter		question
+	GuiName Question
 End
 Style Question
 	CopyStyle	Claim
@@ -394,10 +451,13 @@ Style Question
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 	EndBabelPreamble
+	DocBookTag            para
+	DocBookAttr           role='question'
 End
 
 
 Counter		note
+	GuiName Note
 End
 Style Note
 	CopyStyle	Claim
@@ -411,5 +471,7 @@ Style Note
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 	EndBabelPreamble
+	DocBookTag            note
+	DocBookItemTag        para
 End