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"

Reply via email to