# Moved here by rgheck. Original author cloudy.
-Format 22
+Format 35
#This is just a hacked version of the AMS proof environment
Style Proof
Preamble
- \ifx\proof\undefined\
+ \ifx\proof\undefined
\newenvironment{proof}[1][\protect\proofname]{\par
\normalfont\topsep6\p@\@plus6\p@\relax
\trivlist
}{%
\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