mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-09 18:31:04 +00:00
adefdf8eeb
This reverts commit 7c041af642.
We will hold this back until we fix the issue discussed here:
https://marc.info/?l=lyx-devel&m=171733833610242&w=2
25 lines
619 B
PHP
25 lines
619 B
PHP
# Moved here by rikiheck. Original author cloudy.
|
|
|
|
Format 104
|
|
|
|
#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
|