# Moved here by rikiheck. Original author cloudy.
-# Edited sep '22 by Udi Fogiel <udifoglle@gmail.com> (more similar version to the amsthm one)
-Format 99
+Format 100
-# This is just a hacked version of the AMS proof environment
+#This is just a hacked version of the AMS proof environment
Style Proof
- Category Reasoning
- Margin First_Dynamic
- LatexType Environment
- LatexName proof
- NextNoIndent 1
- ResetArgs 1
- Argument 1
- LabelString "Alternative Proof String"
- Tooltip "Alternative proof string"
- EndArgument
- LabelSep xx
- ParIndent MMM
- ParSkip 0.4
- ItemSep 0.2
- TopSep 0.7
- BottomSep 0.7
- ParSep 0.3
- Align Block
- AlignPossible Block, Left
- LabelType Static
- LabelString "Proof."
- EndLabelType Box
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Shape Italic
- EndFont
Preamble
- \ifcsname proof\endcsname\else
- \DeclareRobustCommand{\lyx@qed}{%
- \ifmmode
- \else \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
- \fi
- \quad\hbox{\lyx@qedsymbol}}
- \newcommand{\lyx@openbox}{\leavevmode
- \hbox to.77778em{%
- \hfil\vrule
- \vbox to.675em{\hrule width.6em\vfil\hrule}%
- \vrule\hfil}}
- \newcommand{\lyx@qedsymbol}{\lyx@openbox}
- \newenvironment{proof}[1][\proofname]{\par
- \normalfont
- \topsep6\p@\@plus6\p@ \trivlist
- \item[\hskip\labelsep\itshape
- #1.]\ignorespaces
- }{%
- \lyx@qed\endtrivlist
- }
+ \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.
- DocBookWrapperTag figure
- DocBookWrapperAttr role='proof'
+ EndLabelType No_Label
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
DocBookTag para
- DocBookGenerateTitle true
+ DocBookAttr role='proof'
End