Reset arguments in theorem definition to avoid argument clash (#8827)

This commit is contained in:
Juergen Spitzmueller 2013-09-03 17:43:33 +02:00
parent 0f5589e2a1
commit 8cd8f2d0c1
6 changed files with 6 additions and 0 deletions

View File

@ -53,6 +53,7 @@ Style Theorem
LatexType Environment LatexType Environment
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
ResetArgs 1
Argument 1 Argument 1
LabelString "Alternative Theorem String|S" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"

View File

@ -27,6 +27,7 @@ Style Theorem
LatexType Environment LatexType Environment
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
ResetArgs 1
Argument 1 Argument 1
LabelString "Alternative Theorem String|S" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"

View File

@ -29,6 +29,7 @@ Style Theorem
LatexType Environment LatexType Environment
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
ResetArgs 1
Argument 1 Argument 1
LabelString "Alternative Theorem String|S" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"

View File

@ -16,6 +16,7 @@ Style Proof
LatexType Environment LatexType Environment
LatexName proof LatexName proof
NextNoIndent 1 NextNoIndent 1
ResetArgs 1
Argument 1 Argument 1
LabelString "Alternative Proof String" LabelString "Alternative Proof String"
Tooltip "Alternative proof string" Tooltip "Alternative proof string"

View File

@ -28,6 +28,7 @@ Style Theorem*
LabelType Static LabelType Static
LabelString "Theorem." LabelString "Theorem."
NextNoIndent 1 NextNoIndent 1
ResetArgs 1
Argument 1 Argument 1
LabelString "Alternative Theorem String|S" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"

View File

@ -27,6 +27,7 @@ Style Theorem
LatexType Environment LatexType Environment
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
ResetArgs 1
Argument 1 Argument 1
LabelString "Alternative Theorem String|S" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"