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 c6d8f6c1dd5ebae30519e2599cf4165835fc4e44..9389cf8c66e950c81a2c22ebe160d60c7ace406b 100644 (file)
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -26,12 +26,15 @@
 # - Note
 
 
-Format 59
+Format 89
 
 OutlinerName thm "Definitions & Theorems"
 
 Counter                theorem
+       GuiName Theorem
+       LaTeXName thm
 End
+
 Style Theorem
        Category        Reasoning
        Margin          First_Dynamic
@@ -71,10 +74,13 @@ Style Theorem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
 Counter                corollary
+       GuiName Corollary
 End
 Style Corollary
        CopyStyle       Theorem
@@ -87,10 +93,13 @@ Style Corollary
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
 Counter                lemma
+       GuiName Lemma
 End
 Style Lemma
        CopyStyle       Theorem
@@ -103,10 +112,13 @@ Style Lemma
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
 Counter                proposition
+       GuiName Proposition
 End
 Style Proposition
        CopyStyle       Theorem
@@ -119,10 +131,13 @@ Style Proposition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
 Counter                prop
+       GuiName Prop(osition)
 End
 Style Prop
        CopyStyle       Theorem
@@ -135,10 +150,13 @@ Style Prop
        LabelFont
          Series        Medium
        EndFont
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
 Counter                conjecture
+       GuiName Conjecture
 End
 Style Conjecture
        CopyStyle       Theorem
@@ -158,10 +176,13 @@ Style Conjecture
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
 Counter                fact
+       GuiName Fact
 End
 Style Fact
        CopyStyle       Theorem
@@ -174,10 +195,13 @@ Style Fact
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
 Counter                definition
+       GuiName Definition
 End
 Style Definition
        CopyStyle       Theorem
@@ -198,10 +222,13 @@ Style Definition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
 Counter                example
+       GuiName Example
 End
 Style Example
        CopyStyle       Conjecture
@@ -215,10 +242,14 @@ Style Example
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
 Counter                problem
+       GuiName Problem
 End
 Style Problem
        CopyStyle       Definition
@@ -233,10 +264,13 @@ Style Problem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
 Counter                prob
+       GuiName Prob(lem)
   Within       chapter
 End
 # Prob does not copy a style to avoid preamble code
@@ -265,10 +299,13 @@ Style Prob
        EndFont
        AddToToc        thm
        IsTocCaption    true
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
 Counter                solution
+       GuiName Solution
 End
 Style Solution
        CopyStyle       Problem
@@ -282,6 +319,8 @@ Style Solution
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -294,12 +333,15 @@ Style Sol
          Mandatory     1
          LabelString   "Label of Problem"
          Tooltip       "Label of the corresponding problem"
-         InToc
+         IsTocCaption true
        EndArgument
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
 Counter                exercise
+       GuiName Exercise
 End
 Style Exercise
        CopyStyle       Definition
@@ -313,10 +355,13 @@ Style Exercise
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
 Counter                remark
+       GuiName Remark
 End
 Style Remark
        CopyStyle       Conjecture
@@ -330,6 +375,8 @@ Style Remark
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -343,10 +390,14 @@ Style             Claim
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 
 Counter                case
+       GuiName Case
 End
 Style Case
        CopyStyle       Remark
@@ -360,10 +411,13 @@ Style Case
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='case'
 End
 
 
 Counter                property
+       GuiName Property
 End
 Style Property
        CopyStyle       Claim
@@ -377,10 +431,13 @@ Style Property
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='property'
 End
 
 
 Counter                question
+       GuiName Question
 End
 Style Question
        CopyStyle       Claim
@@ -394,10 +451,13 @@ Style Question
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
 End
 
 
 Counter                note
+       GuiName Note
 End
 Style Note
        CopyStyle       Claim
@@ -411,5 +471,7 @@ Style Note
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End