DocBook: implement theorems.

[features.git] / lib / layouts / theorems-ams-extended-bytype.module

diff --git a/lib/layouts/theorems-ams-extended-bytype.module b/lib/layouts/theorems-ams-extended-bytype.module
index 001d91545fd4d93039427921be443635a4eb4c75..c537defc78807b3819b325c40afbcdb81986969d 100644 (file)
--- a/lib/layouts/theorems-ams-extended-bytype.module
+++ b/lib/layouts/theorems-ams-extended-bytype.module
@@ -1,4 +1,5 @@
-#\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type)}
+#\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type)}
+#\DeclareCategory{Maths}
 #DescriptionBegin
 #Defines some additional theorem environments for use with the
 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
@@ -18,7 +19,7 @@
 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
 
-Format 42
+Format 82
 
 Requires       amsmath
 
@@ -33,27 +34,41 @@ Requires    amsmath
 # - Acknowledgement
 # - Conclusion
 # - Assumption
+# - Question
 
 # We need separate counters for each theorem-like style.
 Counter criterion
+       GuiName Criterion
 End
 Counter algorithm
+       GuiName Algorithm
 End
 Counter axiom
+       GuiName Axiom
 End
 Counter condition
+       GuiName Condition
 End
 Counter note
+       GuiName Note
 End
 Counter notation
+       GuiName Notation
 End
 Counter summary
+       GuiName Summary
 End
 Counter acknowledgement
+       GuiName Acknowledgement
 End
 Counter conclusion
+       GuiName Conclusion
 End
 Counter assumption
+       GuiName Assumption
+End
+Counter question
+       GuiName Question
 End
 
 
@@ -72,6 +87,9 @@ Style Criterion
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
        LabelCounter          criterion
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 Style Criterion*
@@ -88,16 +106,19 @@ Style Criterion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
 Style Algorithm
        CopyStyle             Theorem
-       LatexName             algorithm
+       LatexName             lyxalgorithm
        LabelString           "Algorithm \thealgorithm."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{algorithm}{\protect\algorithmname}
+         \newtheorem{lyxalgorithm}{\protect\algorithmname}
        EndPreamble
        LangPreamble
          \providecommand{\algorithmname}{_(Algorithm)}
@@ -106,16 +127,19 @@ Style Algorithm
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
        LabelCounter          algorithm
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
 Style Algorithm*
        CopyStyle             Theorem*
-       LatexName             algorithm*
+       LatexName             lyxalgorithm*
        LabelString           "Algorithm."
        Preamble
          \theoremstyle{plain}
-         \newtheorem*{algorithm*}{\protect\algorithmname}
+         \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
        EndPreamble
        LangPreamble
          \providecommand{\algorithmname}{_(Algorithm)}
@@ -123,6 +147,9 @@ Style Algorithm*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -141,6 +168,9 @@ Style Axiom
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
        LabelCounter          axiom
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -158,6 +188,9 @@ Style Axiom*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -176,6 +209,9 @@ Style Condition
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
        LabelCounter          condition
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -193,6 +229,9 @@ Style Condition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -211,6 +250,8 @@ Style Note
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
        LabelCounter          note
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -228,6 +269,8 @@ Style Note*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -246,6 +289,9 @@ Style Notation
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
        LabelCounter          notation
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -263,6 +309,9 @@ Style Notation*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -281,6 +330,9 @@ Style Summary
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
        LabelCounter          summary
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -298,6 +350,9 @@ Style Summary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -316,6 +371,9 @@ Style Acknowledgement
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
        LabelCounter          acknowledgement
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -333,6 +391,9 @@ Style Acknowledgement*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -351,6 +412,9 @@ Style Conclusion
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
        LabelCounter          conclusion
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -368,6 +432,9 @@ Style Conclusion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -386,6 +453,9 @@ Style Assumption
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
        LabelCounter          assumption
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -403,4 +473,49 @@ Style Assumption*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
+End
+
+Style Question
+       CopyStyle             Theorem
+       DependsOn             Theorem
+       LatexName             question
+       LabelString           "Question \thequestion."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem{question}{\protect\questionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+       LabelCounter          question
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
+
+Style Question*
+       CopyStyle             Theorem*
+       LatexName             question*
+       LabelString           "Question."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{question*}{\protect\questionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
+End
+
+Input theorems-refprefix.inc