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 4e0c578077c2d3a7c906314d30b3e4597f548228..a1d57df08ca53f2218c8f7e6762de81299aad448 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,7 +18,7 @@
 # - Claim
 # - Proof
 
-Format 44
+Format 57
 
 Style Theorem*
        Category              Reasoning
@@ -28,9 +28,10 @@ Style Theorem*
        LabelType             Static
        LabelString           "Theorem."
        NextNoIndent          1
+       ResetArgs             1
        Argument 1
-               LabelString   "Alternative Theorem String"
-               Tooltip       "Alternative theorem string"
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
        EndArgument
        LabelSep              xx
        ParIndent             MMM