Update covington support in linguistics module (file format change)

[lyx.git] / lib / layouts / theorems-ams-bytype.inc

diff --git a/lib/layouts/theorems-ams-bytype.inc b/lib/layouts/theorems-ams-bytype.inc
index 5e0d10b75932005b1e4b63ff6b4e09ac9c22e6bf..1aefb1565f92f530fd96a69345dce3bcae50199e 100644 (file)
--- a/lib/layouts/theorems-ams-bytype.inc
+++ b/lib/layouts/theorems-ams-bytype.inc
@@ -21,7 +21,7 @@
 # - Claim
 # - Case (by inclusion)
 
-Format 99
+Format 100
 
 Input theorems-counters-bytype.inc
 
@@ -76,6 +76,7 @@ Style Theorem
        DocBookWrapperAttr    role='theorem'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -98,6 +99,7 @@ Style Corollary
        DocBookWrapperAttr    role='corollary'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -120,6 +122,7 @@ Style Lemma
        DocBookWrapperAttr    role='lemma'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -142,6 +145,7 @@ Style Proposition
        DocBookWrapperAttr    role='proposition'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -164,6 +168,7 @@ Style Conjecture
        DocBookWrapperAttr    role='conjecture'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -186,6 +191,7 @@ Style Fact
        DocBookWrapperAttr    role='fact'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -215,6 +221,7 @@ Style Definition
        DocBookWrapperAttr    role='definition'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -260,6 +267,7 @@ Style Problem
        DocBookWrapperAttr    role='problem'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -283,6 +291,7 @@ Style Exercise
        DocBookWrapperAttr    role='exercise'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -306,6 +315,7 @@ Style Solution
        DocBookWrapperAttr    role='solution'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -336,6 +346,7 @@ Style Remark
        DocBookWrapperAttr    role='remark'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 
@@ -359,6 +370,7 @@ Style Claim
        DocBookWrapperAttr    role='claim'
        DocBookTag            para
        DocBookGenerateTitle  true
+       DocBookWrapperMergeWithPrevious  true
 End
 
 Input theorems-case.inc