Enumerate isn't always defined when the case stuff is included.

[lyx.git] / lib / layouts / ijmpc.layout

diff --git a/lib/layouts/ijmpc.layout b/lib/layouts/ijmpc.layout
index bc39fd849c427d3a6d562f7389cc5a9abd790ffe..2b2f2550812ccd94ca117ed1081193cebf3833c1 100644 (file)
--- a/lib/layouts/ijmpc.layout
+++ b/lib/layouts/ijmpc.layout
@@ -12,7 +12,7 @@
 # Author: Uwe Stöhr (uwestoehr@web.de)
 
 
-Format 43
+Format 45
 
 Sides          1
 Columns                1
@@ -325,7 +325,7 @@ End
 Style Proof
   LatexType    Environment
   LatexName    proof
-  Category     Theorem
+  Category     Reasoning
   Margin       First_Dynamic
   TopSep       0.6
   BottomSep    0.6
@@ -424,7 +424,7 @@ Style Appendix
   Margin       First_Dynamic
   Align        Block
   NextNoIndent 1
-  LabelType    Counter
+  LabelType    Static
   LabelCounter appendix
   LabelString  "Appendix \Alph{appendix}."
   LabelSep     M