DocBook: implement theorems.

This is a minimal implementation, as DocBook lacks a serious way of encoding all of this. Maybe a <formalpara> could do the trick, but I'd need to find a way to shoehorn a title through the styles (i.e. a first complete tag):

Theorem: Bla bla

<formalpara>
<title>Theorem</title>
<para>Bla bla</para>
</formalpara>

This would also only be a solution for single-paragraph things, as formalpara only allows one paragraph. Or a sidebar, but it's semantically very remote.

diff --git a/autotests/export/docbook/Additional_lyxcode.lyx b/autotests/export/docbook/Additional_lyxcode.lyx
index fe2d4281b1c1aa9348bc0fe01a5b6e6554c9f3c4..797e315e87935d33b822c4d9a3c3feb48f350232 100644 (file)
--- a/autotests/export/docbook/Additional_lyxcode.lyx
+++ b/autotests/export/docbook/Additional_lyxcode.lyx
@@ -367,5 +367,169 @@ This section is somewhat out of date.
 
 \end_layout
 
+\begin_layout Section
+AMS \SpecialChar LaTeX
+
+\end_layout
+
+\begin_layout Standard
+These same environments are provided only in the starred versions by the
+ 
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+Theorems (Starred)
+\end_layout
+
+\end_inset
+
+ module:
+\end_layout
+
+\begin_layout Theorem
+This is typically used for the statements of major results.
+ 
+\end_layout
+
+\begin_layout Corollary*
+This is used for statements which follow fairly directly from previous statement
+s.
+ Again, these can be major results.
+ 
+\end_layout
+
+\begin_layout Lemma
+These are smaller results needed to prove other statements.
+\end_layout
+
+\begin_layout Proposition
+These are less major results which (hopefully) add to the general theory
+ being discussed.
+\end_layout
+
+\begin_layout Conjecture
+These are statements provided without justification, which the author does
+ not know how to prove, but which seem to be true (to the author, at least).
+\end_layout
+
+\begin_layout Definition*
+Guess what this is for.
+ The font is different for this environment than for the previous ones.
+ 
+\end_layout
+
+\begin_layout Example*
+Used for examples illustrating proven results.
+\end_layout
+
+\begin_layout Problem
+It's not really known what this is for.
+ You should figure it out.
+\end_layout
+
+\begin_layout Exercise*
+Write a description for this one.
+\end_layout
+
+\begin_layout Remark
+This environment is also a type of theorem, usually a lesser sort of observation.
+\end_layout
+
+\begin_layout Claim*
+Often used in the course of giving a proof of a larger result.
+\end_layout
+
+\begin_layout Case
+Generally, these are used to break up long arguments, using specific instances
+ of some condition.
+ 
+\end_layout
+
+\begin_layout Case
+The numbering scheme for cases is on its own, not together with other numbered
+ statements.
+ 
+\end_layout
+
+\begin_layout Proof
+At the end of this environment, a QED symbol (usually a square, but it can
+ vary with different styles) is placed.
+ If you want to have other environments within this one—for example, Case
+ environments—and have the QED symbol appear only after them, then the other
+ environments need to be nested within the proof environment.
+ See the section 
+\emph on
+Nesting Environments
+\emph default
+ of the 
+\emph on
+User's Guide
+\emph default
+ for information on nesting.
+\end_layout
+
+\begin_layout Standard
+And these environments are provided by 
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+Theorems (AMS-Extended)
+\end_layout
+
+\end_inset
+
+:
+\end_layout
+
+\begin_layout Criterion*
+A required condition.
+\end_layout
+
+\begin_layout Algorithm*
+A general procedure to be used.
+\end_layout
+
+\begin_layout Axiom*
+This is a property or statement taken as true within the system being discussed.
+\end_layout
+
+\begin_layout Condition*
+Sometimes used to state a condition assumed within the present context of
+ discussion.
+\end_layout
+
+\begin_layout Note*
+Similar to a Remark.
+\end_layout
+
+\begin_layout Notation*
+Used for the explanation of, yes, notation.
+\end_layout
+
+\begin_layout Summary
+Do we really need to tell you? 
+\end_layout
+
+\begin_layout Acknowledgement*
+Acknowledgement.
+\end_layout
+
+\begin_layout Conclusion*
+Sometimes used at the end of a long train of argument.
+\end_layout
+
+\begin_layout Fact
+Used in a way similar to Proposition, though perhaps lower on the scale.
+\end_layout
+
+\begin_layout Standard
+In addition, the AMS classes automatically provide the AMS \SpecialChar LaTeX
+ and AMS fonts
+ packages.
+ They need to be available on your system in order to use these environments.
+\end_layout
+
 \end_body
 \end_document

diff --git a/autotests/export/docbook/Additional_lyxcode.xml b/autotests/export/docbook/Additional_lyxcode.xml
index b677971f0a08e09992108fb6a59ac979df0f9ee3..f42ac9fb2ca4c38336d5396ad8bffeecd80c9b19 100644 (file)
--- a/autotests/export/docbook/Additional_lyxcode.xml
+++ b/autotests/export/docbook/Additional_lyxcode.xml
@@ -36,5 +36,40 @@ This ...
 <para>This section is somewhat out of date. Need to describe default master documents and how children are opened when the master is. [[FIXME]]</para>
 </sidebar>
 </section>
+<section>
+<title>AMS LaTeX</title>
+<para>These same environments are provided only in the starred versions by the <code>Theorems (Starred)</code> module:</para>
+<para role='theorem'>This is typically used for the statements of major results. </para>
+<para role='corollary'>This is used for statements which follow fairly directly from previous statements. Again, these can be major results. </para>
+<para role='lemma'>These are smaller results needed to prove other statements.</para>
+<para role='proposition'>These are less major results which (hopefully) add to the general theory being discussed.</para>
+<para role='conjecture'>These are statements provided without justification, which the author does not know how to prove, but which seem to be true (to the author, at least).</para>
+<para role='definition'>Guess what this is for. The font is different for this environment than for the previous ones. </para>
+<informalexample>
+<para>Used for examples illustrating proven results.</para>
+</informalexample>
+<para role='problem'>It's not really known what this is for. You should figure it out.</para>
+<para role='exercise'>Write a description for this one.</para>
+<note role='theorem'>
+<para>This environment is also a type of theorem, usually a lesser sort of observation.</para>
+</note>
+<para role='claim'>Often used in the course of giving a proof of a larger result.</para>
+<para role='cases'>Generally, these are used to break up long arguments, using specific instances of some condition. The numbering scheme for cases is on its own, not together with other numbered statements. </para>
+<para role='proof'>At the end of this environment, a QED symbol (usually a square, but it can vary with different styles) is placed. If you want to have other environments within this one—for example, Case environments—and have the QED symbol appear only after them, then the other environments need to be nested within the proof environment. See the section <emphasis>Nesting Environments</emphasis> of the <emphasis>User's Guide</emphasis> for information on nesting.</para>
+<para>And these environments are provided by <code>Theorems (AMS-Extended)</code>:</para>
+<para role='criterion'>A required condition.</para>
+<para role='algorithm'>A general procedure to be used.</para>
+<para role='axiom'>This is a property or statement taken as true within the system being discussed.</para>
+<para role='condition'>Sometimes used to state a condition assumed within the present context of discussion.</para>
+<note role='theorem'>
+<para>Similar to a Remark.</para>
+</note>
+<para role='notation'>Used for the explanation of, yes, notation.</para>
+<para role='summary'>Do we really need to tell you? </para>
+<para role='acknowledgement'>Acknowledgement.</para>
+<para role='conclusion'>Sometimes used at the end of a long train of argument.</para>
+<para role='fact'>Used in a way similar to Proposition, though perhaps lower on the scale.</para>
+<para>In addition, the AMS classes automatically provide the AMS LaTeX and AMS fonts packages. They need to be available on your system in order to use these environments.</para>
+</section>
 </chapter>
 </book>
\ No newline at end of file

diff --git a/development/DocBookToDo b/development/DocBookToDo
index 39ca534ecbccdab9c0b2092a2401456a03289dc0..6b6ca342ce548f76198ac9a895c3d632bc72d3e1 100644 (file)
--- a/development/DocBookToDo
+++ b/development/DocBookToDo
@@ -17,4 +17,25 @@ TableRefs, TableComments: no mapping in DocBook, not really a way to add these t
 
 Clearly, with this kind of template, we're reaching the limits of such a system! Having a really good converter for all these cases would require a lot of very specific code. 
 
-More general: what the heck with appendices? It's not handled in the LyX way (Document > Start Appendix Here), but in a custom way. Making this work would solve some correctness issues with this template. 
\ No newline at end of file
+More general: what the heck with appendices? It's not handled in the LyX way (Document > Start Appendix Here), but in a custom way. Making this work would solve some correctness issues with this template. 
+
+
+
+Things specific to modules
+==========================
+
+AMS
+---
+
+Theorems and the like do not have counter parts in DocBook. Maybe a <formalpara> could do the trick, but I'd need to find a way to shoehorn a title through the styles (i.e. a first complete tag): 
+
+       LyX:
+               Theorem: Bla bla
+
+       DocBook:
+               <formalpara>
+                       <title>Theorem</title>
+                       <para>Bla bla</para>
+               </formalpara>
+
+This would also only be a solution for single-paragraph things, as formalpara only allows one paragraph. Or a sidebar, but it's semantically very remote. 
\ No newline at end of file

diff --git a/lib/layouts/theorems-ams-bytype.inc b/lib/layouts/theorems-ams-bytype.inc
index a306f159624ed9f668f5450494bd384d8f7310a4..fede0e8b312a7737abec5b3871194ffe2f4a3c1b 100644 (file)
--- a/lib/layouts/theorems-ams-bytype.inc
+++ b/lib/layouts/theorems-ams-bytype.inc
@@ -110,6 +110,8 @@ Style Theorem
                \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -128,6 +130,8 @@ Style Corollary
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -146,6 +150,8 @@ Style Lemma
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
        LabelCounter          lemma
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -164,6 +170,8 @@ Style Proposition
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
        LabelCounter          proposition
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -182,6 +190,8 @@ Style Conjecture
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
        LabelCounter          conjecture
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -200,6 +210,8 @@ Style Fact
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
        LabelCounter          fact
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -225,6 +237,8 @@ Style Definition
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
        LabelCounter          definition
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -244,6 +258,9 @@ Style Example
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
        LabelCounter          example
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -263,6 +280,8 @@ Style Problem
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
        LabelCounter          problem
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -282,6 +301,8 @@ Style Exercise
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
        LabelCounter          exercise
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -301,6 +322,8 @@ Style Solution
                \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
        LabelCounter          solution
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -348,6 +371,9 @@ Style Claim
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
        LabelCounter          claim
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 Input theorems-case.inc

diff --git a/lib/layouts/theorems-ams-chap-bytype.inc b/lib/layouts/theorems-ams-chap-bytype.inc
index e4528f712fdd321c894f5f34818839093b576a10..faaa2d0dca7d16acec06b78dc35550739c8bcfe6 100644 (file)
--- a/lib/layouts/theorems-ams-chap-bytype.inc
+++ b/lib/layouts/theorems-ams-chap-bytype.inc
@@ -129,6 +129,8 @@ Style Theorem
                \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -151,6 +153,8 @@ Style Corollary
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -173,6 +177,8 @@ Style Lemma
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
        LabelCounter          lemma
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -195,6 +201,8 @@ Style Proposition
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
        LabelCounter          proposition
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -217,6 +225,8 @@ Style Conjecture
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
        LabelCounter          conjecture
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -239,6 +249,8 @@ Style Fact
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
        LabelCounter          fact
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -268,6 +280,8 @@ Style Definition
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
        LabelCounter          definition
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -291,6 +305,9 @@ Style Example
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
        LabelCounter          example
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -314,6 +331,8 @@ Style Problem
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
        LabelCounter          problem
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -337,6 +356,8 @@ Style Exercise
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
        LabelCounter          exercise
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -360,6 +381,8 @@ Style Solution
                \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
        LabelCounter          solution
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -415,6 +438,9 @@ Style Claim
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
        LabelCounter          claim
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 

diff --git a/lib/layouts/theorems-ams-extended-bytype.module b/lib/layouts/theorems-ams-extended-bytype.module
index e031a74362f2aaed83efa1cfcd9ec30c8f4a2aa2..c537defc78807b3819b325c40afbcdb81986969d 100644 (file)
--- a/lib/layouts/theorems-ams-extended-bytype.module
+++ b/lib/layouts/theorems-ams-extended-bytype.module
@@ -87,6 +87,9 @@ Style Criterion
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
        LabelCounter          criterion
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 Style Criterion*
@@ -103,6 +106,9 @@ Style Criterion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
@@ -121,6 +127,9 @@ Style Algorithm
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
        LabelCounter          algorithm
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -138,6 +147,9 @@ Style Algorithm*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -156,6 +168,9 @@ Style Axiom
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
        LabelCounter          axiom
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -173,6 +188,9 @@ Style Axiom*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -191,6 +209,9 @@ Style Condition
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
        LabelCounter          condition
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -208,6 +229,9 @@ Style Condition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -226,6 +250,8 @@ Style Note
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
        LabelCounter          note
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -243,6 +269,8 @@ Style Note*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -261,6 +289,9 @@ Style Notation
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
        LabelCounter          notation
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -278,6 +309,9 @@ Style Notation*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -296,6 +330,9 @@ Style Summary
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
        LabelCounter          summary
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -313,6 +350,9 @@ Style Summary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -331,6 +371,9 @@ Style Acknowledgement
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
        LabelCounter          acknowledgement
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -348,6 +391,9 @@ Style Acknowledgement*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -366,6 +412,9 @@ Style Conclusion
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
        LabelCounter          conclusion
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -383,6 +432,9 @@ Style Conclusion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -401,6 +453,9 @@ Style Assumption
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
        LabelCounter          assumption
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -418,6 +473,9 @@ Style Assumption*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 Style Question
@@ -436,6 +494,9 @@ Style Question
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
        LabelCounter          question
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Style Question*
@@ -452,6 +513,9 @@ Style Question*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Input theorems-refprefix.inc

diff --git a/lib/layouts/theorems-ams-extended-chap-bytype.module b/lib/layouts/theorems-ams-extended-chap-bytype.module
index 435eb65ab3468a4107b6ef2e406e7f03564c183f..7252073e6452b4cd2eed6d0e8cc16bd1a68557bc 100644 (file)
--- a/lib/layouts/theorems-ams-extended-chap-bytype.module
+++ b/lib/layouts/theorems-ams-extended-chap-bytype.module
@@ -105,6 +105,9 @@ Style Criterion
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
        LabelCounter          criterion
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
@@ -122,6 +125,9 @@ Style Criterion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
@@ -144,6 +150,9 @@ Style Algorithm
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
        LabelCounter          algorithm
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -161,6 +170,9 @@ Style Algorithm*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -183,6 +195,9 @@ Style Axiom
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
        LabelCounter          axiom
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -200,6 +215,9 @@ Style Axiom*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -222,6 +240,9 @@ Style Condition
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
        LabelCounter          condition
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -239,6 +260,9 @@ Style Condition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -261,6 +285,8 @@ Style Note
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
        LabelCounter          note
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -278,6 +304,8 @@ Style Note*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -300,6 +328,9 @@ Style Notation
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
        LabelCounter          notation
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -317,6 +348,9 @@ Style Notation*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -340,6 +374,9 @@ Style Summary
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
        LabelCounter          summary
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -357,6 +394,9 @@ Style Summary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -379,6 +419,9 @@ Style Acknowledgement
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
        LabelCounter          acknowledgement
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -396,6 +439,9 @@ Style Acknowledgement*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -418,6 +464,9 @@ Style Conclusion
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
        LabelCounter          conclusion
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -435,6 +484,9 @@ Style Conclusion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -457,6 +509,9 @@ Style Assumption
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
        LabelCounter          assumption
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -474,6 +529,9 @@ Style Assumption*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 Style Question
@@ -496,6 +554,9 @@ Style Question
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
        LabelCounter          question
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Style Question*
@@ -512,6 +573,9 @@ Style Question*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Input theorems-refprefix.inc

diff --git a/lib/layouts/theorems-ams-extended.module b/lib/layouts/theorems-ams-extended.module
index 0f33a90af3e8db88e01a2afbbf4252206c77a8f3..f2c4cf030fd145d26b0283b1233348838fdcd559 100644 (file)
--- a/lib/layouts/theorems-ams-extended.module
+++ b/lib/layouts/theorems-ams-extended.module
@@ -48,6 +48,9 @@ Style Criterion
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 Style Criterion*
@@ -64,6 +67,9 @@ Style Criterion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
@@ -82,6 +88,9 @@ Style Algorithm
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -99,6 +108,9 @@ Style Algorithm*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -117,6 +129,9 @@ Style Axiom
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -134,6 +149,9 @@ Style Axiom*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -151,6 +169,9 @@ Style Condition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -168,6 +189,9 @@ Style Condition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -185,6 +209,8 @@ Style Note
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -202,6 +228,8 @@ Style Note*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -219,6 +247,9 @@ Style Notation
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -236,6 +267,9 @@ Style Notation*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -253,6 +287,9 @@ Style Summary
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -270,6 +307,9 @@ Style Summary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -287,6 +327,9 @@ Style Acknowledgement
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -304,6 +347,9 @@ Style Acknowledgement*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -321,6 +367,9 @@ Style Conclusion
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -338,6 +387,9 @@ Style Conclusion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -356,6 +408,9 @@ Style Assumption
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -373,6 +428,9 @@ Style Assumption*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 Style Question
@@ -390,6 +448,9 @@ Style Question
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Style Question*
@@ -406,6 +467,9 @@ Style Question*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Input theorems-refprefix.inc

diff --git a/lib/layouts/theorems-ams.inc b/lib/layouts/theorems-ams.inc
index 99fcbf9149a190eca34a3e5de1c7d00eac7992f6..44cc806b26d3e973e4292e26e7fe2368ae1f6582 100644 (file)
--- a/lib/layouts/theorems-ams.inc
+++ b/lib/layouts/theorems-ams.inc
@@ -69,6 +69,8 @@ Style Theorem
          \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -87,6 +89,8 @@ Style Corollary
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -105,6 +109,8 @@ Style Lemma
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -123,6 +129,8 @@ Style Proposition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -141,6 +149,8 @@ Style Conjecture
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -159,6 +169,8 @@ Style Fact
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -184,6 +196,8 @@ Style Definition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -201,6 +215,9 @@ Style Example
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr           ""
 End
 
 
@@ -218,6 +235,8 @@ Style Problem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -235,6 +254,8 @@ Style Exercise
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -252,6 +273,8 @@ Style Solution
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -297,6 +320,9 @@ Style Claim
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 Input theorems-case.inc

diff --git a/lib/layouts/theorems-bytype.inc b/lib/layouts/theorems-bytype.inc
index a61a4dfb8f491ef45c56d882740166c1e459cc60..a40098b963c3f11479c279172bd7caa411db1f35 100644 (file)
--- a/lib/layouts/theorems-bytype.inc
+++ b/lib/layouts/theorems-bytype.inc
@@ -66,6 +66,8 @@ Style Theorem
                \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -84,6 +86,8 @@ Style Corollary
                \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
        LabelCounter          corollary
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -102,6 +106,8 @@ Style Lemma
                \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
        LabelCounter          lemma
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -120,6 +126,8 @@ Style Proposition
                \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
        LabelCounter          proposition
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -138,6 +146,8 @@ Style Conjecture
                \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
        LabelCounter          conjecture
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -156,6 +166,8 @@ Style Fact
                \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
        LabelCounter          fact
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -181,6 +193,8 @@ Style Definition
                \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
        LabelCounter          definition  
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -200,6 +214,9 @@ Style Example
                \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
        LabelCounter          example
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -219,6 +236,8 @@ Style Problem
                \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
        LabelCounter          problem
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -238,6 +257,8 @@ Style Exercise
                \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
        LabelCounter          exercise
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -257,6 +278,8 @@ Style Solution
                \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
        LabelCounter          solution
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -304,6 +327,9 @@ Style Claim
                \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
        LabelCounter          claim
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 Input theorems-case.inc

diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index cf85b48a13a51762e349a42b649783eb5e7610fd..1ee52a34ac50cd264c704ef64bd4830bcfe08bdc 100644 (file)
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -86,4 +86,6 @@ Style Case
     \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
   EndBabelPreamble
   RefPrefix OFF
+  DocBookTag            para
+  DocBookAttr           role='cases'
 End

diff --git a/lib/layouts/theorems-proof-std.inc b/lib/layouts/theorems-proof-std.inc
index 89c4173d44cb5f7ba1e7ac53f6b98c4ca8ef2371..8ba18cf614e1f1580f0021e7980ff08ca0325a2e 100644 (file)
--- a/lib/layouts/theorems-proof-std.inc
+++ b/lib/layouts/theorems-proof-std.inc
@@ -18,4 +18,6 @@ Style Proof
                \fi
        EndPreamble
 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
+       DocBookTag            para
+       DocBookAttr           role='proof'
 End

diff --git a/lib/layouts/theorems-proof.inc b/lib/layouts/theorems-proof.inc
index 345ba38339be315a8e7dff77c18dea469588ec72..949a35ee42d6ce78638d04c58a5aac5bf619b91d 100644 (file)
--- a/lib/layouts/theorems-proof.inc
+++ b/lib/layouts/theorems-proof.inc
@@ -40,5 +40,7 @@ Style Proof
        LabelFont
          Shape               Italic
        EndFont
+       DocBookTag            para
+       DocBookAttr           role='proof'
 End
 

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 4add9898806bc8ababb69d78e93e27f71ce4babf..fa02b21a7c95605e36ccc3ddb22e8dbc05c25835 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -67,6 +67,8 @@ Style Theorem*
          \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -84,6 +86,8 @@ Style Corollary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -101,6 +105,8 @@ Style Lemma*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -118,6 +124,8 @@ Style Proposition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -135,6 +143,8 @@ Style Conjecture*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -152,6 +162,8 @@ Style Fact*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -177,6 +189,8 @@ Style Definition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -194,6 +208,9 @@ Style Example*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -211,6 +228,8 @@ Style Problem*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -228,6 +247,8 @@ Style Exercise*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -245,6 +266,8 @@ Style Solution*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -270,6 +293,8 @@ Style Remark*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -287,5 +312,8 @@ Style Claim*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 

diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc
index 80beb8ebdbea8928e216085a06cd3d38d4b3d10b..43b8c0cdd9bb883f5f9c38ab1c677dd9a95b41a8 100644 (file)
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -72,6 +72,8 @@ Style Theorem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -89,6 +91,8 @@ Style Corollary
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -106,6 +110,8 @@ Style Lemma
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -123,6 +129,8 @@ Style Proposition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -140,6 +148,8 @@ Style Prop
        LabelFont
          Series        Medium
        EndFont
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -164,6 +174,8 @@ Style Conjecture
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -181,6 +193,8 @@ Style Fact
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -206,6 +220,8 @@ Style Definition
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -224,6 +240,9 @@ Style Example
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -243,6 +262,8 @@ Style Problem
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -276,6 +297,8 @@ Style Prob
        EndFont
        AddToToc        thm
        IsTocCaption    true
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -294,6 +317,8 @@ Style Solution
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -308,6 +333,8 @@ Style Sol
          Tooltip       "Label of the corresponding problem"
          IsTocCaption true
        EndArgument
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -326,6 +353,8 @@ Style Exercise
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -344,6 +373,8 @@ Style Remark
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -357,6 +388,9 @@ Style               Claim
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 
@@ -375,6 +409,8 @@ Style Case
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='case'
 End
 
 
@@ -393,6 +429,8 @@ Style Property
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='property'
 End
 
 
@@ -411,6 +449,8 @@ Style Question
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
 End
 
 
@@ -429,5 +469,7 @@ Style Note
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 

diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc
index 9017ca6c4f19062b40d87a276ddaa0b2b1423b5a..822ee94625aa609345a968c16e9aa38625d28573 100644 (file)
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -69,6 +69,8 @@ Style Theorem
                \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
+       DocBookTag            para
+       DocBookAttr           role='theorem'
 End
 
 
@@ -87,6 +89,8 @@ Style Corollary
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='corollary'
 End
 
 
@@ -105,6 +109,8 @@ Style Lemma
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='lemma'
 End
 
 
@@ -123,6 +129,8 @@ Style Proposition
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='proposition'
 End
 
 
@@ -141,6 +149,8 @@ Style Conjecture
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conjecture'
 End
 
 
@@ -159,6 +169,8 @@ Style Fact
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='fact'
 End
 
 
@@ -184,6 +196,8 @@ Style Definition
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='definition'
 End
 
 
@@ -201,6 +215,9 @@ Style Example
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
        EndBabelPreamble
+       DocBookWrapperTag     informalexample
+       DocBookTag            para
+       DocBookAttr        ""
 End
 
 
@@ -218,6 +235,8 @@ Style Problem
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='problem'
 End
 
 
@@ -235,6 +254,8 @@ Style Exercise
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='exercise'
 End
 
 
@@ -252,6 +273,8 @@ Style Solution
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='solution'
 End
 
 
@@ -278,6 +301,8 @@ Style Remark
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -295,6 +320,9 @@ Style Claim
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='claim'
+       DocBookItemTag        ""
 End
 
 Input theorems-case.inc