Author: rgheck
Date: Sat May 14 15:46:34 2011
New Revision: 38757
URL: http://www.lyx.org/trac/changeset/38757

Log:
babel knows \proofname already (bug #7513)

For branch. By Georg.

Modified:
   lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-bytype.module
   lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-proof-std.inc

Modified: lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-bytype.module
==============================================================================
--- lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-bytype.module  Sat May 
14 15:03:48 2011        (r38756)
+++ lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-bytype.module  Sat May 
14 15:46:34 2011        (r38757)
@@ -59,4 +59,5 @@
       \providecommand{\proofname}{Proof}
     \fi
   EndPreamble
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
 End

Modified: lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-proof-std.inc
==============================================================================
--- lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-proof-std.inc  Sat May 
14 15:03:48 2011        (r38756)
+++ lyx-devel/branches/BRANCH_2_0_X/lib/layouts/theorems-proof-std.inc  Sat May 
14 15:46:34 2011        (r38757)
@@ -16,12 +16,8 @@
 }{%
                        \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

Reply via email to