Move the LaTeX proof declaration to a separate file, for inclusion elsewhere.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@30912 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/lib/layouts/theorems-proof-std.inc b/lib/layouts/theorems-proof-std.inc
new file mode 100644 (file)
index 0000000..1ca4113
--- /dev/null
+++ b/lib/layouts/theorems-proof-std.inc
@@ -0,0 +1,27 @@
+# Moved here by rgheck. Original author cloudy.
+
+Format 14
+
+#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

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 72706eb47090f7d787c988a25973e6d21965b448..f3925a3e1413ea4e19faadb915f803df536f3c75 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -15,27 +15,4 @@ 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
+Input theorems-proof-std.inc