DocBook: implement LyX-Code.

[lyx.git] / lib / layouts / theorems-ams-bytype.inc

diff --git a/lib/layouts/theorems-ams-bytype.inc b/lib/layouts/theorems-ams-bytype.inc
index 26df3a1280ab443b8bac460099c5ae32c358ee6e..a306f159624ed9f668f5450494bd384d8f7310a4 100644 (file)
--- a/lib/layouts/theorems-ams-bytype.inc
+++ b/lib/layouts/theorems-ams-bytype.inc
@@ -22,32 +22,45 @@
 # - Case (by inclusion)
 
 # We need separate counters for each theorem-like style.
-Format 72
+Format 82
 Counter theorem
+       GuiName Theorem
 End
 Counter corollary
+       GuiName Corollary
 End
 Counter lemma
+       GuiName Lemma
 End
 Counter proposition
+       GuiName Proposition
 End
 Counter conjecture
+       GuiName Conjecture
 End
 Counter fact
+       GuiName Fact
 End
 Counter definition
+       GuiName Definition
 End
 Counter example
+       GuiName Example
 End
 Counter problem
+       GuiName Problem
 End
 Counter exercise
+       GuiName Exercise
 End
 Counter solution
+       GuiName Solution
 End
 Counter remark
+       GuiName Remark
 End
 Counter claim
+       GuiName Claim
 End
 
 OutlinerName thm "Definitions & Theorems"
@@ -314,6 +327,8 @@ Style Remark
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
        LabelCounter          remark
+       DocBookTag            note
+       DocBookItemTag        para
 End