# Modified from amsart.layout May '08 by Andrew Corrigan <acorriga@gmu.edu>
-Format 40
+Format 58
Columns 1
Sides 2
PageStyle Headers
# It is unclear at this point whether these are correct. It is how it
# was, though, before these got moved out of amsdefs.inc.
Provides amsmath 1
-Provides makeidx 1
+Provides makeidx 1
ClassOptions
FontSize 8|9|10|11|12
End
Style Algorithm
- Category Theorem
+ Category Reasoning
Preamble
EndPreamble
End
LatexType Environment
LatexName proof
NextNoIndent 1
- OptionalArgs 1
+ Argument 1
+ LabelString "Alternative Proof String"
+ Tooltip "An alternative proof string"
+ EndArgument
LabelSep xx
ParIndent MMM
ParSkip 0.4
ParSep 1
Align Center
LabelType No_Label
- OptionalArgs 1
+ Argument 1
+ LabelString "Short Title|S"
+ Tooltip "The title as it appears in the running headers"
+ InsertCotext 1
+ EndArgument
Font
Shape Smallcaps
Series Bold
LatexType Bib_Environment
LatexName thebibliography
NextNoIndent 1
+ ToggleIndent Never
LeftMargin MM
ParSkip 0.4
ItemSep 0