Update layouts to 2.2.0alpha1 format

[features.git] / lib / layouts / theorems-starred.inc

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 1adafcfc36a3df359e5fb25036cbc17d62075501..a1d57df08ca53f2218c8f7e6762de81299aad448 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,17 +18,21 @@
 # - Claim
 # - Proof
 
-Format 29
+Format 57
 
 Style Theorem*
-       Category              Theorem
+       Category              Reasoning
        LatexType             Environment
        Margin                First_Dynamic
        LatexName             thm*
        LabelType             Static
        LabelString           "Theorem."
        NextNoIndent          1
-       OptionalArgs          1
+       ResetArgs             1
+       Argument 1
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
+       EndArgument
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4