mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-09 18:31:04 +00:00
4b33e60346
I do not commit the update to the following file since it has a non-trivial change: lib/layouts/jlreq-common.inc I'll ask for confirmation on the list before updating that file.
25 lines
619 B
PHP
25 lines
619 B
PHP
# Moved here by rikiheck. Original author cloudy.
|
|
|
|
Format 106
|
|
|
|
#This is just a hacked version of the AMS proof environment
|
|
Style Proof
|
|
Preamble
|
|
\ifx\proof\undefined
|
|
\newenvironment{proof}[1][\protect\proofname]{\par
|
|
\normalfont\topsep6\p@\@plus6\p@\relax
|
|
\trivlist
|
|
\itemindent\parindent
|
|
\item[\hskip\labelsep\scshape #1]\ignorespaces
|
|
}{%
|
|
\endtrivlist\@endpefalse
|
|
}
|
|
\providecommand{\proofname}{Proof}
|
|
\fi
|
|
EndPreamble
|
|
EndLabelType No_Label
|
|
# No LangPreamble or BabelPreamble, since babel knows \proofname already.
|
|
DocBookTag para
|
|
DocBookAttr role='proof'
|
|
End
|