From: Jürgen Spitzmüller <spitz@lyx.org>
Date: Fri, 9 May 2008 08:01:37 +0000 (+0000)
Subject: * lib/layouts/theorems-starred-equivalents.inc:
X-Git-Tag: 1.6.10~4837
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=088f6f5f9e4bc96b82fdfe328b833d715032cf95;p=lyx.git

* lib/layouts/theorems-starred-equivalents.inc:
	- Fix LaTeX errors triggered by switching from ams article to ams plain
  	  article (patch by Paul Rubin and me).

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@24692 a592a061-630c-0410-9148-cb99ea01b6c8
---

diff --git a/lib/layouts/theorems-starred-equivalents.inc b/lib/layouts/theorems-starred-equivalents.inc
index e9f3c49a4b..b167267200 100644
--- a/lib/layouts/theorems-starred-equivalents.inc
+++ b/lib/layouts/theorems-starred-equivalents.inc
@@ -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