mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-25 10:58:52 +00:00
ca1ca4326b
This is a minimal implementation, as DocBook lacks a serious way of encoding all of this. Maybe a <formalpara> could do the trick, but I'd need to find a way to shoehorn a title through the styles (i.e. a first complete tag): Theorem: Bla bla <formalpara> <title>Theorem</title> <para>Bla bla</para> </formalpara> This would also only be a solution for single-paragraph things, as formalpara only allows one paragraph. Or a sidebar, but it's semantically very remote.
24 lines
584 B
PHP
24 lines
584 B
PHP
# Moved here by rgheck. Original author cloudy.
|
|
|
|
Format 82
|
|
|
|
#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
|
|
# No LangPreamble or BabelPreamble, since babel knows \proofname already.
|
|
DocBookTag para
|
|
DocBookAttr role='proof'
|
|
End
|