Autoconf: use included boost when system boost is not available

[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 72497ce4419dbffac83d09cd4003a427c861c880..9389cf8c66e950c81a2c22ebe160d60c7ace406b 100644 (file)
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -26,13 +26,15 @@
 # - Note
 
 
-Format 81
+Format 89
 
 OutlinerName thm "Definitions & Theorems"
 
 Counter                theorem
        GuiName Theorem
+       LaTeXName thm
 End
+
 Style Theorem
        Category        Reasoning
        Margin          First_Dynamic
@@ -72,6 +74,8 @@ Style Theorem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -89,6 +93,8 @@ Style Corollary
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -106,6 +112,8 @@ Style Lemma
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -123,6 +131,8 @@ Style Proposition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -140,6 +150,8 @@ Style Prop
        LabelFont
          Series        Medium
        EndFont
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -164,6 +176,8 @@ Style Conjecture
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -181,6 +195,8 @@ Style Fact
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -206,6 +222,8 @@ Style Definition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -224,6 +242,9 @@ Style Example
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -243,6 +264,8 @@ Style Problem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -276,6 +299,8 @@ Style Prob
        EndFont
        AddToToc        thm
        IsTocCaption    true
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -294,6 +319,8 @@ Style Solution
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -308,6 +335,8 @@ Style Sol
          Tooltip       "Label of the corresponding problem"
          IsTocCaption true
        EndArgument
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -326,6 +355,8 @@ Style Exercise
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -344,6 +375,8 @@ Style Remark
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -357,6 +390,9 @@ Style               Claim
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 
@@ -375,6 +411,8 @@ Style Case
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='case'
 End
 
 
@@ -393,6 +431,8 @@ Style Property
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='property'
 End
 
 
@@ -411,6 +451,8 @@ Style Question
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
 End
 
 
@@ -429,5 +471,7 @@ Style Note
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End