commit 8cd8f2d0c15e677525b5ad76f7c77668032b2141
Author: Juergen Spitzmueller <[email protected]>
Date: Tue Sep 3 17:43:33 2013 +0200
Reset arguments in theorem definition to avoid argument clash (#8827)
diff --git a/lib/layouts/theorems-ams-bytype.inc
b/lib/layouts/theorems-ams-bytype.inc
index 4852784..dfbe340 100644
--- a/lib/layouts/theorems-ams-bytype.inc
+++ b/lib/layouts/theorems-ams-bytype.inc
@@ -53,6 +53,7 @@ Style Theorem
LatexType Environment
LatexName thm
NextNoIndent 1
+ ResetArgs 1
Argument 1
LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
diff --git a/lib/layouts/theorems-ams.inc b/lib/layouts/theorems-ams.inc
index 5ff8b21..81f332a 100644
--- a/lib/layouts/theorems-ams.inc
+++ b/lib/layouts/theorems-ams.inc
@@ -27,6 +27,7 @@ Style Theorem
LatexType Environment
LatexName thm
NextNoIndent 1
+ ResetArgs 1
Argument 1
LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
diff --git a/lib/layouts/theorems-bytype.inc b/lib/layouts/theorems-bytype.inc
index 0167f9b..defeef2 100644
--- a/lib/layouts/theorems-bytype.inc
+++ b/lib/layouts/theorems-bytype.inc
@@ -29,6 +29,7 @@ Style Theorem
LatexType Environment
LatexName thm
NextNoIndent 1
+ ResetArgs 1
Argument 1
LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
diff --git a/lib/layouts/theorems-proof.inc b/lib/layouts/theorems-proof.inc
index 7de43b5..dbf4835 100644
--- a/lib/layouts/theorems-proof.inc
+++ b/lib/layouts/theorems-proof.inc
@@ -16,6 +16,7 @@ Style Proof
LatexType Environment
LatexName proof
NextNoIndent 1
+ ResetArgs 1
Argument 1
LabelString "Alternative Proof String"
Tooltip "Alternative proof string"
diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index bc537dd..8e0922d 100644
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -28,6 +28,7 @@ Style Theorem*
LabelType Static
LabelString "Theorem."
NextNoIndent 1
+ ResetArgs 1
Argument 1
LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"
diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc
index d0db53b..2313828 100644
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -27,6 +27,7 @@ Style Theorem
LatexType Environment
LatexName thm
NextNoIndent 1
+ ResetArgs 1
Argument 1
LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string"