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 b75e05212c6c25e1b9939751d579692d2552f0d1..a306f159624ed9f668f5450494bd384d8f7310a4 100644 (file)
--- a/lib/layouts/theorems-ams-bytype.inc
+++ b/lib/layouts/theorems-ams-bytype.inc
@@ -16,46 +16,68 @@
 # - Example
 # - Problem
 # - Exercise
+# - Solution
 # - Remark
 # - Claim
 # - Case (by inclusion)
 
 # We need separate counters for each theorem-like style.
-Format 45
+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"
+
 Style Theorem
        Category              Reasoning
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
        NextNoIndent          1
+       ResetArgs             1
+       AddToToc              thm
+       IsTocCaption          1
        Argument 1
-               LabelString   "Alternative Theorem String"
-               Tooltip       "Alternative theorem string"
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
+               IsTocCaption      1
        EndArgument
        LabelSep              xx
        ParIndent             MMM
@@ -263,6 +285,25 @@ Style Exercise
 End
 
 
+Style Solution
+       CopyStyle             Definition
+       LatexName             sol
+       LabelString           "Solution \thesolution."
+       Preamble
+         \theoremstyle{definition}
+         \newtheorem{sol}{\protect\solutionname}
+       EndPreamble
+       Requires              amsthm
+       LangPreamble
+               \providecommand{\solutionname}{_(Solution)}
+       EndLangPreamble
+       BabelPreamble
+               \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
+       EndBabelPreamble
+       LabelCounter          solution
+End
+
+
 Style Remark
        CopyStyle             Theorem
        LatexName             rem
@@ -286,6 +327,8 @@ Style Remark
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
        LabelCounter          remark
+       DocBookTag            note
+       DocBookItemTag        para
 End