From: Richard Heck <rgheck@comcast.net>
Date: Sat, 14 May 2011 13:46:34 +0000 (+0000)
Subject: babel knows \proofname already (bug #7513)
X-Git-Tag: 2.0.1~305
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=334294fb1a26947a47576eb2d290b32c040ba881;p=features.git

babel knows \proofname already (bug #7513)

For branch. By Georg.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/branches/BRANCH_2_0_X@38757 a592a061-630c-0410-9148-cb99ea01b6c8
---

diff --git a/lib/layouts/theorems-bytype.module b/lib/layouts/theorems-bytype.module
index 9188dfe4b2..8301174b7c 100644
--- a/lib/layouts/theorems-bytype.module
+++ b/lib/layouts/theorems-bytype.module
@@ -59,4 +59,5 @@ Style Proof
       \providecommand{\proofname}{Proof}
     \fi
   EndPreamble
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
 End
diff --git a/lib/layouts/theorems-proof-std.inc b/lib/layouts/theorems-proof-std.inc
index 1e44f9e249..15cd7bf8d2 100644
--- a/lib/layouts/theorems-proof-std.inc
+++ b/lib/layouts/theorems-proof-std.inc
@@ -16,12 +16,8 @@ Style Proof
 }{%
 			\endtrivlist\@endpefalse
 }
+		\providecommand{\proofname}{Proof}
 		\fi
 	EndPreamble
-	LangPreamble
-		\providecommand{\proofname}{_(Proof)}
-	EndLangPreamble
-	BabelPreamble
-		\addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}
-	EndBabelPreamble
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
 End