X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems.inc;h=394b5ce95705b59d93268c3bbccff56b160583ec;hb=d8a6e0ab70962134792c5eca585fdcd013204649;hp=6a578029c78793e159d6615d047a5e0fd54aff4d;hpb=4663e5ec881cf30fe12eeff2122d0b4fa2574671;p=lyx.git

diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc
index 6a578029c7..394b5ce957 100644
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -19,15 +19,18 @@
 # - Claim
 # - Case (by inclusion)
 
-Format 36
+Format 43
 
 Style Theorem
-	Category              Theorem
+	Category              Reasoning
 	Margin                First_Dynamic
 	LatexType             Environment
 	LatexName             thm
 	NextNoIndent          1
-	OptionalArgs          1
+	Argument 1
+		LabelString   "Alternative Theorem String"
+		Tooltip       "Alternative theorem string"
+	EndArgument
 	LabelSep              xx
 	ParIndent             MMM
 	ParSkip               0.4