From: Richard Heck <rgheck@comcast.net>
Date: Fri, 7 Aug 2009 19:20:13 +0000 (+0000)
Subject: Move the LaTeX proof declaration to a separate file, for inclusion elsewhere.
X-Git-Tag: 2.0.0~5820
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=7f100a1e6def5474389159a6bf4ce64bfa511047;p=lyx.git

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
index 0000000000..1ca4113131
--- /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 72706eb470..f3925a3e14 100644
--- 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