Bump layout format

[features.git] / lib / layouts / theorems-bytype.module

diff --git a/lib/layouts/theorems-bytype.module b/lib/layouts/theorems-bytype.module
index 58ae9c557079181e2a731b3f5e38767b80d9ed88..7675ef029f11d21e03a5443de0ce441a30eb49af 100644 (file)
--- a/lib/layouts/theorems-bytype.module
+++ b/lib/layouts/theorems-bytype.module
@@ -11,7 +11,7 @@
 
 # Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
 
-Format 28
+Format 42
 
 # We need separate counters for each theorem-like style.
 Counter theorem
@@ -59,4 +59,5 @@ Style Proof
       \providecommand{\proofname}{Proof}
     \fi
   EndPreamble
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
 End