Jürgen Spitzmüller wrote: > In order to fix these issues, I had to modify the definition of Theorem. > Please have a look (attached patch).
Attached is the corresponding patch for trunk. Jürgen
Index: lib/layouts/theorems-starred-equivalents.inc =================================================================== --- lib/layouts/theorems-starred-equivalents.inc (Revision 24566) +++ lib/layouts/theorems-starred-equivalents.inc (Arbeitskopie) @@ -4,45 +4,78 @@ Format 7 Style Theorem - CopyStyle Theorem* + CopyStyle Theorem* + DependsOn Theorem* + Preamble + EndPreamble End Style Corollary - CopyStyle Corollary* + CopyStyle Corollary* + DependsOn Corollary* + Preamble + EndPreamble End Style Lemma - CopyStyle Lemma* + CopyStyle Lemma* + DependsOn Lemma* + Preamble + EndPreamble End Style Proposition - CopyStyle Proposition* + CopyStyle Proposition* + DependsOn Proposition* + Preamble + EndPreamble End Style Conjecture - CopyStyle Conjecture* + CopyStyle Conjecture* + DependsOn Conjecture* + Preamble + EndPreamble End Style Definition - CopyStyle Definition* + CopyStyle Definition* + DependsOn Definition* + Preamble + EndPreamble End Style Example - CopyStyle Example* + CopyStyle Example* + DependsOn Example* + Preamble + EndPreamble End Style Problem - CopyStyle Problem* + CopyStyle Problem* + DependsOn Problem* + Preamble + EndPreamble End Style Exercise - CopyStyle Exercise* + CopyStyle Exercise* + DependsOn Exercise* + Preamble + EndPreamble End Style Remark - CopyStyle Remark* + CopyStyle Remark* + DependsOn Remark* + Preamble + EndPreamble End Style Claim - CopyStyle Claim* + CopyStyle Claim* + DependsOn Claim* + Preamble + EndPreamble End
