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 1b89f8214a77b57a764d061c7888174c42184631..2a0b3b6cdb86dbe793d913d520e293c402068550 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -1,13 +1,41 @@
-#\DeclareLyXModule{Defines some theorem environments for use with non-AMS classes. The theorems are numbered consecutively throughout the document. NOTE: Only one of the theorem modules should be used at a time.}{Theorems}
+#\DeclareLyXModule{Theorems}
+#DescriptionBegin
+#Defines some theorem environments for use with non-AMS classes. By default, 
+#the theorems are numbered consecutively throughout the document. This can be
+#changed by loading one of the Theorems (Ordered By ...) modules.
+#DescriptionEnd
+#Excludes: theorems-ams | theorems-starred
 
 # Author: Richard Heck <rgheck@comcast.net>
-# Adapted from amsmaths.inc
 
-Format 5
+Format 14
 
-Counter
-       Name                 theorem
+Counter theorem
 End
 
 Input theorems.inc
+Input theorems-proof.inc
 
+#This is just a hacked version of the AMS proof environment
+Style Proof
+  Preamble
+    \ifx\proof\undefined\
+      \newenvironment{proof}[1][\protect\proofname]{\par
+        \normalfont\topsep6\p@\@plus6\p@\relax
+        \trivlist
+        \itemindent\parindent
+        \item[\hskip\labelsep
+              \scshape
+          #1]\ignorespaces
+      }{%
+        \endtrivlist\@endpefalse
+      }
+    \fi
+  EndPreamble
+  LangPreamble
+    \providecommand{\proofname}{_(Proof)}
+  EndLangPreamble
+  BabelPreamble
+    \addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}
+  EndBabelPreamble
+End