# Authors : Koji Yokota <yokota@res.otaru-uc.ac.jp>
# Uwe Stöhr <uwestoehr@web.de>
-Format 57
+Format 82
Input stdclass.inc
Input theorems-ams.module
Input theorems-bytype.module
LatexType Command
LatexName QTR{caption}
LabelCounter caption
- LabelString "Caption: "
+ LabelString "Caption:"
LeftMargin "Caption: "
Align Center
End
End
Counter case
+ GuiName Case
End
Counter remark
+ GuiName Remark
End
Counter summary
+ GuiName Summary
End
Counter solution
+ GuiName Solution
End