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 9188dfe4b2d6dfa3e62969b36abdcad8837340d6..8301174b7c5d823734336b4affd27e3131f5f75c 100644 (file)
--- 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 1e44f9e24911261805f2b323c4ed9188b0e811ea..15cd7bf8d2f06efa7a86d94d41cf5637ce370658 100644 (file)
--- 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