]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-bytype.inc
Add tableaux to outliner
[lyx.git] / lib / layouts / theorems-bytype.inc
index d26a64647929a102a6be3bdc4c61d3b246469585..60dc2f79a5e9ce668304c091df77d2134756a63b 100644 (file)
 # - Example
 # - Problem
 # - Exercise
+# - Solution
 # - Remark
 # - Claim
 # - Proof
 # - Case (by inclusion)
 
-Format 43
+Format 63
 
 Style Theorem
        Category              Reasoning
@@ -29,9 +30,10 @@ Style Theorem
        LatexType             Environment
        LatexName             thm
        NextNoIndent          1
+       ResetArgs             1
        Argument 1
-               LabelString   "Alternative Theorem String"
-               Tooltip       "Alternative theorem string"
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
        EndArgument
        LabelSep              xx
        ParIndent             MMM
@@ -42,7 +44,7 @@ Style Theorem
        ParSep                0.3
        Align                 Block
        AlignPossible         Left
-       LabelType             Counter
+       LabelType             Static
        LabelCounter          theorem
        LabelString           "Theorem \thetheorem."
        Font
@@ -239,6 +241,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