Allow literate documents other than noweb to work out of the box. Currently

[lyx.git] / lib / layouts / theorems-std.module

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 1bf04e6e1e2ed352b8191e632de155e47b6271a7..2a0b3b6cdb86dbe793d913d520e293c402068550 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -8,10 +8,9 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 7
+Format 14
 
-Counter
-       Name                 theorem
+Counter theorem
 End
 
 Input theorems.inc
@@ -21,7 +20,7 @@ Input theorems-proof.inc
 Style Proof
   Preamble
     \ifx\proof\undefined\
-      \newenvironment{proof}[1][\proofname]{\par
+      \newenvironment{proof}[1][\protect\proofname]{\par
         \normalfont\topsep6\p@\@plus6\p@\relax
         \trivlist
         \itemindent\parindent
@@ -31,7 +30,12 @@ Style Proof
       }{%
         \endtrivlist\@endpefalse
       }
-      \providecommand{\proofname}{Proof}
     \fi
   EndPreamble
-End
\ No newline at end of file
+  LangPreamble
+    \providecommand{\proofname}{_(Proof)}
+  EndLangPreamble
+  BabelPreamble
+    \addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}
+  EndBabelPreamble
+End