mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-27 22:41:09 +00:00
9ca91b2566
There is nothing in the diff besides the format number changing from 93 to 95. From what I understand, this is as expected since 93 -> 94 and 94 -> 95 just add new layout tags. Updating the layouts makes it easier to test master. Otherwise, in some use cases layout2layout can be run hundreds of times which can make some things slow (e.g., opening documents or even opening the advanced find pane).
25 lines
618 B
PHP
25 lines
618 B
PHP
# Moved here by rikiheck. Original author cloudy.
|
|
|
|
Format 95
|
|
|
|
#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
|