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 892ccec7816e61885dbd2e892db0139d9426df18..c537defc78807b3819b325c40afbcdb81986969d 100644 (file)
--- a/lib/layouts/theorems-ams-extended-bytype.module
+++ b/lib/layouts/theorems-ams-extended-bytype.module
@@ -19,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 74
+Format 82
 
 Requires       amsmath
 
@@ -38,26 +38,37 @@ Requires    amsmath
 
 # 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
 
 
@@ -76,6 +87,9 @@ Style Criterion
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
        LabelCounter          criterion
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 Style Criterion*
@@ -92,6 +106,9 @@ Style Criterion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
@@ -110,6 +127,9 @@ Style Algorithm
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
        LabelCounter          algorithm
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -127,6 +147,9 @@ Style Algorithm*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -145,6 +168,9 @@ Style Axiom
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
        LabelCounter          axiom
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -162,6 +188,9 @@ Style Axiom*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -180,6 +209,9 @@ Style Condition
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
        LabelCounter          condition
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -197,6 +229,9 @@ Style Condition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -215,6 +250,8 @@ Style Note
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
        LabelCounter          note
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -232,6 +269,8 @@ Style Note*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -250,6 +289,9 @@ Style Notation
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
        LabelCounter          notation
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -267,6 +309,9 @@ Style Notation*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -285,6 +330,9 @@ Style Summary
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
        LabelCounter          summary
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -302,6 +350,9 @@ Style Summary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -320,6 +371,9 @@ Style Acknowledgement
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
        LabelCounter          acknowledgement
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -337,6 +391,9 @@ Style Acknowledgement*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -355,6 +412,9 @@ Style Conclusion
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
        LabelCounter          conclusion
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -372,6 +432,9 @@ Style Conclusion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -390,6 +453,9 @@ Style Assumption
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
        LabelCounter          assumption
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -407,6 +473,9 @@ Style Assumption*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 Style Question
@@ -425,6 +494,9 @@ Style Question
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
        LabelCounter          question
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Style Question*
@@ -441,6 +513,9 @@ Style Question*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Input theorems-refprefix.inc