Update layout format.

[features.git] / lib / layouts / theorems-ams-extended.module

diff --git a/lib/layouts/theorems-ams-extended.module b/lib/layouts/theorems-ams-extended.module
index daf4dd8cd4eafdcd3d95f68a7f3d2f2a27e2edb5..c1826323e757924e531b995bb304fdb23cdc4de6 100644 (file)
--- a/lib/layouts/theorems-ams-extended.module
+++ b/lib/layouts/theorems-ams-extended.module
@@ -5,7 +5,7 @@
 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
 #Fact, Assumption, and Case, in both starred and non-starred forms.
 #DescriptionEnd
-#Requires: Theorems (AMS)
+#Requires: theorems-ams
 
 # Original Author : David L. Johnson <dlj0@lehigh.edu>
 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
@@ -13,7 +13,7 @@
 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
 
-Format 6
+Format 8
 
 Requires       amsmath
 
@@ -29,11 +29,10 @@ Requires    amsmath
 # - Conclusion
 # - Fact
 # - Assumption
-# - Case (regular only -- defined as an enumeration)
 
 Style Criterion
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             criterion
        LabelString           "Criterion \thetheorem."
        Preamble
@@ -55,7 +54,7 @@ End
 
 Style Algorithm
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                  Theorem
        LatexName             algorithm
        LabelString           "Algorithm \thetheorem."
        Preamble
@@ -78,7 +77,7 @@ End
 
 Style Axiom
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             ax
        LabelString           "Axiom \thetheorem."
        Preamble
@@ -233,7 +232,7 @@ End
 
 Style Assumption
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             assumption
        LabelString           "Assumption \thetheorem."
        Preamble
@@ -252,20 +251,3 @@ Style Assumption*
          \newtheorem*{assumption*}{Assumption}
        EndPreamble
 End
-
-
-# Define Case as an enumeration environment
-Style Case
-       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
-