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.
This commit is contained in:
Thibaut Cuvelier 2020-08-31 02:39:37 +02:00
parent e3da8b65f6
commit ca1ca4326b
16 changed files with 621 additions and 1 deletions

View File

@ -367,5 +367,169 @@ This section is somewhat out of date.
\end_layout \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_body
\end_document \end_document

View File

@ -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> <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> </sidebar>
</section> </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> </chapter>
</book> </book>

View File

@ -18,3 +18,24 @@ 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. 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. 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.

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

@ -86,4 +86,6 @@ Style Case
\addto\captions$$lang{\renewcommand{\casename}{_(Case)}} \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble EndBabelPreamble
RefPrefix OFF RefPrefix OFF
DocBookTag para
DocBookAttr role='cases'
End End

View File

@ -18,4 +18,6 @@ Style Proof
\fi \fi
EndPreamble EndPreamble
# No LangPreamble or BabelPreamble, since babel knows \proofname already. # No LangPreamble or BabelPreamble, since babel knows \proofname already.
DocBookTag para
DocBookAttr role='proof'
End End

View File

@ -40,5 +40,7 @@ Style Proof
LabelFont LabelFont
Shape Italic Shape Italic
EndFont EndFont
DocBookTag para
DocBookAttr role='proof'
End End

View File

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

View File

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

View File

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