Don't define the proof environment if it's already defined.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@25877 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Richard Heck 2008-07-24 22:28:57 +00:00
parent 0e69b297d6
commit 2aa40fe939

View File

@ -20,6 +20,7 @@ Input theorems-proof.inc
#This is just a hacked version of the AMS proof environment
Style Proof
Preamble
\ifx\proof\undefined\
\newenvironment{proof}[1][\proofname]{\par
\normalfont\topsep6\p@\@plus6\p@\relax
\trivlist
@ -31,5 +32,6 @@ Style Proof
\endtrivlist\@endpefalse
}
\providecommand{\proofname}{Proof}
\fi
EndPreamble
End