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