Some initial layout categories. More later, if this all works out.

[lyx.git] / lib / layouts / theorems.inc

diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc
index 05b66dbc9dbc0b55b2e47c78985d995bbad712b9..be81dd1e3d44dac483d1c1068f3ea091d8ecb822 100644 (file)
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -17,10 +17,12 @@
 # - Remark
 # - Claim
 # - Proof
+# - Case (regular only -- defined as an enumeration)
 
 Format 6
 
 Style Theorem
+       Category              Theorem
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
@@ -34,7 +36,7 @@ Style Theorem
        BottomSep             0.7
        ParSep                0.3
        Align                 Block
-       AlignPossible         Block, Left
+       AlignPossible         Left
        LabelType             Counter
        LabelCounter          theorem
        LabelString           "Theorem \thetheorem."
@@ -47,7 +49,6 @@ Style Theorem
          Series              Bold
        EndFont
        Preamble
-               \theoremstyle{plain}
                \newtheorem{thm}{Theorem}
        EndPreamble
 End
@@ -55,11 +56,10 @@ End
 
 Style Corollary
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             cor
        LabelString           "Corollary \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{cor}[thm]{Corollary}
        EndPreamble
 End
@@ -67,11 +67,10 @@ End
 
 Style Lemma
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             lem
        LabelString           "Lemma \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{lem}[thm]{Lemma}
        EndPreamble
 End
@@ -79,11 +78,10 @@ End
 
 Style Proposition
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             prop
        LabelString           "Proposition \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{prop}[thm]{Proposition}
        EndPreamble
 End
@@ -91,11 +89,10 @@ End
 
 Style Conjecture
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             conjecture
        LabelString           "Conjecture \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{conjecture}[thm]{Conjecture}
        EndPreamble
 End
@@ -103,11 +100,10 @@ End
 
 Style Fact
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             fact
        LabelString           "Fact \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{fact}[thm]{Fact}
        EndPreamble
 End
@@ -115,7 +111,7 @@ End
 
 Style Definition
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             defn
        LabelString           "Definition \thetheorem."
        Font
@@ -167,7 +163,7 @@ End
 
 Style Remark
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             rem
        LabelString           "Remark \thetheorem."
        Font
@@ -196,3 +192,18 @@ Style Claim
 End
 
 
+# Define Case as an enumeration environment
+Style Case
+       Category              Theorem
+       CopyStyle             Enumerate
+       LatexName             caseenv
+       LabelType             Static
+       LeftMargin            "MMMMMMN"
+       LabelString           "Case #:"
+       Preamble
+         \newcounter{casectr}
+         \newenvironment{caseenv}
+{\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
+{\end{list}}
+       EndPreamble
+End