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 ab81a75ffd94448c30b43d1387c83af246b1975e..a306f159624ed9f668f5450494bd384d8f7310a4 100644 (file)
--- a/lib/layouts/theorems-ams-bytype.inc
+++ b/lib/layouts/theorems-ams-bytype.inc
@@ -16,44 +16,69 @@
 # - Example
 # - Problem
 # - Exercise
+# - Solution
 # - Remark
 # - Claim
 # - Case (by inclusion)
 
 # We need separate counters for each theorem-like style.
-Format 36
+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              Theorem
+       Category              Reasoning
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
        NextNoIndent          1
-       OptionalArgs          1
+       ResetArgs             1
+       AddToToc              thm
+       IsTocCaption          1
+       Argument 1
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
+               IsTocCaption      1
+       EndArgument
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4
@@ -63,7 +88,7 @@ Style Theorem
        ParSep                0.3
        Align                 Block
        AlignPossible         Left
-       LabelType             Counter
+       LabelType             Static
        LabelCounter          theorem
        LabelString           "Theorem \thetheorem."
        Font
@@ -260,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
@@ -283,6 +327,8 @@ Style Remark
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
        LabelCounter          remark
+       DocBookTag            note
+       DocBookItemTag        para
 End