New Theorems Module. Contributed by Udicoudco <udifoglle@gmail.com> on the mailing...

[lyx.git] / lib / layouts / theorems-without-preamble.inc

diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc
index 917cf12055182278d17bccf4d9ed0259c6945425..5d80c93fd9065c7e8e24cc1a658af62013096b93 100644 (file)
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -26,7 +26,7 @@
 # - Note
 
 
-Format 95
+Format 99
 
 OutlinerName thm "Definitions & Theorems"
 
@@ -74,8 +74,10 @@ Style Theorem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='theorem'
        DocBookTag            para
-       DocBookAttr           role='theorem'
+       DocBookGenerateTitle  true
 End
 
 
@@ -93,8 +95,10 @@ Style Corollary
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='corollary'
        DocBookTag            para
-       DocBookAttr           role='corollary'
+       DocBookGenerateTitle  true
 End
 
 
@@ -112,8 +116,10 @@ Style Lemma
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='lemma'
        DocBookTag            para
-       DocBookAttr           role='lemma'
+       DocBookGenerateTitle  true
 End
 
 
@@ -131,8 +137,10 @@ Style Proposition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='proposition'
        DocBookTag            para
-       DocBookAttr           role='proposition'
+       DocBookGenerateTitle  true
 End
 
 
@@ -150,8 +158,10 @@ Style Prop
        LabelFont
          Series        Medium
        EndFont
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='proposition'
        DocBookTag            para
-       DocBookAttr           role='proposition'
+       DocBookGenerateTitle  true
 End
 
 
@@ -176,8 +186,10 @@ Style Conjecture
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='conjecture'
        DocBookTag            para
-       DocBookAttr           role='conjecture'
+       DocBookGenerateTitle  true
 End
 
 
@@ -195,8 +207,10 @@ Style Fact
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='fact'
        DocBookTag            para
-       DocBookAttr           role='fact'
+       DocBookGenerateTitle  true
 End
 
 
@@ -222,8 +236,10 @@ Style Definition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='definition'
        DocBookTag            para
-       DocBookAttr           role='definition'
+       DocBookGenerateTitle  true
 End
 
 
@@ -244,7 +260,7 @@ Style Example
        EndBabelPreamble
        DocBookWrapperTag     informalexample
        DocBookTag            para
-       DocBookAttr        ""
+       DocBookAttr           ""
 End
 
 
@@ -264,8 +280,10 @@ Style Problem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='problem'
        DocBookTag            para
-       DocBookAttr           role='problem'
+       DocBookGenerateTitle  true
 End
 
 
@@ -299,8 +317,10 @@ Style Prob
        EndFont
        AddToToc        thm
        IsTocCaption    true
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='problem'
        DocBookTag            para
-       DocBookAttr           role='problem'
+       DocBookGenerateTitle  true
 End
 
 
@@ -319,8 +339,10 @@ Style Solution
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='solution'
        DocBookTag            para
-       DocBookAttr           role='solution'
+       DocBookGenerateTitle  true
 End
 
 
@@ -335,8 +357,10 @@ Style Sol
          Tooltip       "Label of the corresponding problem"
          IsTocCaption true
        EndArgument
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='solution'
        DocBookTag            para
-       DocBookAttr           role='solution'
+       DocBookGenerateTitle  true
 End
 
 
@@ -355,8 +379,10 @@ Style Exercise
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='exercise'
        DocBookTag            para
-       DocBookAttr           role='exercise'
+       DocBookGenerateTitle  true
 End
 
 
@@ -375,8 +401,10 @@ Style Remark
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
-       DocBookTag            note
-       DocBookItemTag        para
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='remark'
+       DocBookTag            para
+       DocBookGenerateTitle  true
 End
 
 
@@ -390,9 +418,10 @@ Style              Claim
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='claim'
        DocBookTag            para
-       DocBookAttr           role='claim'
-       DocBookItemTag        ""
+       DocBookGenerateTitle  true
 End
 
 
@@ -411,8 +440,10 @@ Style Case
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='case'
        DocBookTag            para
-       DocBookAttr           role='case'
+       DocBookGenerateTitle  true
 End
 
 
@@ -431,8 +462,10 @@ Style Property
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='property'
        DocBookTag            para
-       DocBookAttr           role='property'
+       DocBookGenerateTitle  true
 End
 
 
@@ -451,8 +484,10 @@ Style Question
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='question'
        DocBookTag            para
-       DocBookAttr           role='question'
+       DocBookGenerateTitle  true
 End
 
 
@@ -471,7 +506,9 @@ Style Note
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
-       DocBookTag            note
-       DocBookItemTag        para
+       DocBookWrapperTag     figure
+       DocBookWrapperAttr    role='note'
+       DocBookTag            para
+       DocBookGenerateTitle  true
 End