* layouts/amsmaths-seq.inc:

* layouts/amsmaths.inc: make sure that the preamble of the Theorem
	layout is output when using other theorem like layouts that
	need its counter (bug 4282).


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@21174 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Jean-Marc Lasgouttes 2007-10-24 09:40:15 +00:00
parent 75febee877
commit b14af6b43c
2 changed files with 32 additions and 1 deletions

View File

@ -159,6 +159,7 @@ End
Style Corollary Style Corollary
LabelCounter corollary LabelCounter corollary
DependsOn ""
LabelString "Corollary \arabic{corollary}." LabelString "Corollary \arabic{corollary}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -169,6 +170,7 @@ End
Style Lemma Style Lemma
LabelCounter lemma LabelCounter lemma
DependsOn ""
LabelString "Lemma \arabic{lemma}." LabelString "Lemma \arabic{lemma}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -179,6 +181,7 @@ End
Style Proposition Style Proposition
LabelCounter proposition LabelCounter proposition
DependsOn ""
LabelString "Proposition \arabic{proposition}." LabelString "Proposition \arabic{proposition}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -189,6 +192,7 @@ End
Style Conjecture Style Conjecture
LabelCounter conjecture LabelCounter conjecture
DependsOn ""
LabelString "Conjecture \arabic{conjecture}." LabelString "Conjecture \arabic{conjecture}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -199,6 +203,7 @@ End
Style Criterion Style Criterion
LabelCounter criterion LabelCounter criterion
DependsOn ""
LabelString "Criterion \arabic{criterion}." LabelString "Criterion \arabic{criterion}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -209,6 +214,7 @@ End
Style Algorithm Style Algorithm
LabelCounter algorithm LabelCounter algorithm
DependsOn ""
LabelString "Algorithm \arabic{algorithm}." LabelString "Algorithm \arabic{algorithm}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -219,6 +225,7 @@ End
Style Fact Style Fact
LabelCounter fact LabelCounter fact
DependsOn ""
LabelString "Fact \arabic{fact}." LabelString "Fact \arabic{fact}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -229,6 +236,7 @@ End
Style Axiom Style Axiom
LabelCounter axiom LabelCounter axiom
DependsOn ""
LabelString "Axiom \arabic{axiom}." LabelString "Axiom \arabic{axiom}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}
@ -239,6 +247,7 @@ End
Style Definition Style Definition
LabelCounter definition LabelCounter definition
DependsOn ""
LabelString "Definition \arabic{definition}." LabelString "Definition \arabic{definition}."
Preamble Preamble
\theoremstyle{definition} \theoremstyle{definition}
@ -249,6 +258,7 @@ End
Style Example Style Example
LabelCounter example LabelCounter example
DependsOn ""
LabelString "Example \arabic{example}." LabelString "Example \arabic{example}."
Preamble Preamble
\theoremstyle{definition} \theoremstyle{definition}
@ -259,6 +269,7 @@ End
Style Condition Style Condition
LabelCounter condition LabelCounter condition
DependsOn ""
LabelString "Condition \arabic{condition}." LabelString "Condition \arabic{condition}."
Preamble Preamble
\theoremstyle{definition} \theoremstyle{definition}
@ -269,6 +280,7 @@ End
Style Problem Style Problem
LabelCounter problem LabelCounter problem
DependsOn ""
LabelString "Problem \arabic{problem}." LabelString "Problem \arabic{problem}."
Preamble Preamble
\theoremstyle{definition} \theoremstyle{definition}
@ -279,6 +291,7 @@ End
Style Exercise Style Exercise
LabelCounter exercise LabelCounter exercise
DependsOn ""
LabelString "Exercise \arabic{exercise}." LabelString "Exercise \arabic{exercise}."
Preamble Preamble
\theoremstyle{definition} \theoremstyle{definition}
@ -289,6 +302,7 @@ End
Style Remark Style Remark
LabelCounter remark LabelCounter remark
DependsOn ""
LabelString "Remark \arabic{remark}." LabelString "Remark \arabic{remark}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -299,6 +313,7 @@ End
Style Claim Style Claim
LabelCounter claim LabelCounter claim
DependsOn ""
LabelString "Claim \arabic{claim}." LabelString "Claim \arabic{claim}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -309,6 +324,7 @@ End
Style Note Style Note
LabelCounter note LabelCounter note
DependsOn ""
LabelString "Note \arabic{note}." LabelString "Note \arabic{note}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -319,6 +335,7 @@ End
Style Notation Style Notation
LabelCounter notation LabelCounter notation
DependsOn ""
LabelString "Notation \arabic{notation}." LabelString "Notation \arabic{notation}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -329,6 +346,7 @@ End
Style Summary Style Summary
LabelCounter summary LabelCounter summary
DependsOn ""
LabelString "Summary \arabic{summary}." LabelString "Summary \arabic{summary}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -339,6 +357,7 @@ End
Style Acknowledgement Style Acknowledgement
LabelCounter acknowledgement LabelCounter acknowledgement
DependsOn ""
LabelString "Acknowledgement \arabic{acknowledgement}." LabelString "Acknowledgement \arabic{acknowledgement}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -349,6 +368,7 @@ End
Style Conclusion Style Conclusion
LabelCounter conclusion LabelCounter conclusion
DependsOn ""
LabelString "Conclusion \arabic{conclusion}." LabelString "Conclusion \arabic{conclusion}."
Preamble Preamble
\theoremstyle{remark} \theoremstyle{remark}
@ -359,6 +379,7 @@ End
Style Assumption Style Assumption
LabelCounter assumption LabelCounter assumption
DependsOn ""
LabelString "Assumption \arabic{assumption}." LabelString "Assumption \arabic{assumption}."
Preamble Preamble
\theoremstyle{plain} \theoremstyle{plain}

View File

@ -45,7 +45,6 @@ Style Theorem
Margin First_Dynamic Margin First_Dynamic
LatexType Environment LatexType Environment
LatexName thm LatexName thm
#DependsOn TheoremStyle
NextNoIndent 1 NextNoIndent 1
LabelSep xx LabelSep xx
ParIndent MMM ParIndent MMM
@ -88,6 +87,7 @@ End
Style Corollary Style Corollary
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName cor LatexName cor
LabelString "Corollary @Section@.\arabic{theorem}." LabelString "Corollary @Section@.\arabic{theorem}."
Preamble Preamble
@ -110,6 +110,7 @@ End
Style Lemma Style Lemma
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName lem LatexName lem
LabelString "Lemma @Section@.\arabic{theorem}." LabelString "Lemma @Section@.\arabic{theorem}."
Preamble Preamble
@ -132,6 +133,7 @@ End
Style Proposition Style Proposition
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName prop LatexName prop
LabelString "Proposition @Section@.\arabic{theorem}." LabelString "Proposition @Section@.\arabic{theorem}."
Preamble Preamble
@ -154,6 +156,7 @@ End
Style Conjecture Style Conjecture
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName conjecture LatexName conjecture
LabelString "Conjecture @Section@.\arabic{theorem}." LabelString "Conjecture @Section@.\arabic{theorem}."
Preamble Preamble
@ -176,6 +179,7 @@ End
Style Criterion Style Criterion
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName criterion LatexName criterion
LabelString "Criterion @Section@.\arabic{theorem}." LabelString "Criterion @Section@.\arabic{theorem}."
Preamble Preamble
@ -197,6 +201,7 @@ End
Style Algorithm Style Algorithm
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName algorithm LatexName algorithm
LabelString "Algorithm @Section@.\arabic{theorem}." LabelString "Algorithm @Section@.\arabic{theorem}."
Preamble Preamble
@ -219,6 +224,7 @@ End
Style Fact Style Fact
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName fact LatexName fact
LabelString "Fact @Section@.\arabic{theorem}." LabelString "Fact @Section@.\arabic{theorem}."
Preamble Preamble
@ -241,6 +247,7 @@ End
Style Axiom Style Axiom
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName ax LatexName ax
LabelString "Axiom @Section@.\arabic{theorem}." LabelString "Axiom @Section@.\arabic{theorem}."
Preamble Preamble
@ -263,6 +270,7 @@ End
Style Definition Style Definition
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName defn LatexName defn
LabelString "Definition @Section@.\arabic{theorem}." LabelString "Definition @Section@.\arabic{theorem}."
Font Font
@ -381,6 +389,7 @@ End
Style Remark Style Remark
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName rem LatexName rem
LabelString "Remark @Section@.\arabic{theorem}." LabelString "Remark @Section@.\arabic{theorem}."
Font Font
@ -544,6 +553,7 @@ End
Style Assumption Style Assumption
CopyStyle Theorem CopyStyle Theorem
DependsOn Theorem
LatexName assumption LatexName assumption
LabelString "Assumption @Section@.\arabic{theorem}." LabelString "Assumption @Section@.\arabic{theorem}."
Preamble Preamble