X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-proof.inc;h=4665027dcddd561f70db69357aa0c48ab81b24c3;hb=edaf28fdd6a64ce277a1c5f39d99a6568485887f;hp=6cd1ac1961082ec2ca5833e0b0612a21f31cc221;hpb=42c2a25fb873727d87ce753b3a3ac4e913e36fe0;p=lyx.git

diff --git a/lib/layouts/theorems-proof.inc b/lib/layouts/theorems-proof.inc
index 6cd1ac1961..4665027dcd 100644
--- a/lib/layouts/theorems-proof.inc
+++ b/lib/layouts/theorems-proof.inc
@@ -8,7 +8,7 @@
 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
 
-Format 99
+Format 100
 
 Style Proof
 	Category              Reasoning
@@ -18,8 +18,8 @@ Style Proof
 	NextNoIndent          1
 	ResetArgs             1
 	Argument 1
-		LabelString       "Alternative Proof String"
-		Tooltip           "Alternative proof string"
+		LabelString   "Alternative Proof String"
+		Tooltip       "Alternative proof string"
 	EndArgument
 	LabelSep              xx
 	ParIndent             MMM
@@ -34,16 +34,13 @@ Style Proof
 	LabelString           "Proof."
 	EndLabelType          Box
 	Font
-	    Shape             Up
-	    Size              Normal
+	  Shape               Up
+	  Size                Normal
 	EndFont
 	LabelFont
-	    Shape             Italic
+	  Shape               Italic
 	EndFont
-	Requires              amsthm
-	DocBookWrapperTag     figure
-	DocBookWrapperAttr    role='proof'
 	DocBookTag            para
-	DocBookGenerateTitle  true
+	DocBookAttr           role='proof'
 End