# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
-Format 99
+Format 100
Style Proof
Category Reasoning
NextNoIndent 1
ResetArgs 1
Argument 1
- LabelString "Alternative Proof String"
- Tooltip "Alternative proof string"
+ LabelString "Alternative Proof String"
+ Tooltip "Alternative proof string"
EndArgument
LabelSep xx
ParIndent MMM
LabelString "Proof."
EndLabelType Box
Font
- Shape Up
- Size Normal
+ Shape Up
+ Size Normal
EndFont
LabelFont
- Shape Italic
+ Shape Italic
EndFont
- Requires amsthm
- DocBookWrapperTag figure
- DocBookWrapperAttr role='proof'
DocBookTag para
- DocBookGenerateTitle true
+ DocBookAttr role='proof'
End