Fix crash when generating MathML with InsetMathBox

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

diff --git a/lib/layouts/theorems-ams-extended-chap-bytype.module b/lib/layouts/theorems-ams-extended-chap-bytype.module
index b2aced56d50ab23996f799220f26585b29435e2b..168c406d2fe0cd6753d4418a9913a2d0cd92579a 100644 (file)
--- a/lib/layouts/theorems-ams-extended-chap-bytype.module
+++ b/lib/layouts/theorems-ams-extended-chap-bytype.module
@@ -3,7 +3,7 @@
 #DescriptionBegin
 #Defines some additional theorem environments for use with the
 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
-#Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
+#Condition, Note, Notation, Summary, Conclusion,
 #Assumption, and Case, in both numbered and non-numbered forms.
 #Contrary to the plain AMS-Extended module, the different theorem
 #types provided here each have a separate counter, restarted with each
@@ -16,11 +16,11 @@
 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
+# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
 
-Format 82
+Format 104
 
 Requires       amsmath
 
@@ -32,44 +32,40 @@ Requires    amsmath
 # - Note
 # - Notation
 # - Summary
-# - Acknowledgement
 # - Conclusion
 # - Assumption
 # - Question
 
-# We need separate counters for each theorem-like style.
+Input theorems-counters-extended-bytype.inc
 Counter criterion
-       GuiName Criterion
+       Within chapter
 End
 Counter algorithm
-       GuiName Algorithm
+       Within chapter
 End
 Counter axiom
-       GuiName Axiom
+       Within chapter
 End
 Counter condition
-       GuiName Condition
+       Within chapter
 End
 Counter note
-       GuiName Note
+       Within chapter
 End
 Counter notation
-       GuiName Notation
+       Within chapter
 End
 Counter summary
-       GuiName Summary
-End
-Counter acknowledgement
-       GuiName Acknowledgement
+       Within chapter
 End
 Counter conclusion
-       GuiName Conclusion
+       Within chapter
 End
 Counter assumption
-       GuiName Assumption
+       Within chapter
 End
 Counter question
-       GuiName Question
+       Within chapter
 End
 
 
@@ -78,7 +74,7 @@ End
 Style Criterion
        CopyStyle             Theorem
        LatexName             criterion
-       LabelString           "Criterion \thechapter.\thecriterion."
+       LabelString           "Criterion \thecriterion."
        Preamble
          \theoremstyle{plain}
     \ifx\thechapter\undefined
@@ -94,6 +90,9 @@ Style Criterion
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
        LabelCounter          criterion
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
@@ -111,13 +110,16 @@ Style Criterion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
 Style Algorithm
        CopyStyle             Theorem
        LatexName             lyxalgorithm
-       LabelString           "Algorithm \thechapter.\thealgorithm."
+       LabelString           "Algorithm \thealgorithm."
        Preamble
          \theoremstyle{plain}
     \ifx\thechapter\undefined
@@ -133,6 +135,9 @@ Style Algorithm
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
        LabelCounter          algorithm
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -150,13 +155,16 @@ Style Algorithm*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
 Style Axiom
        CopyStyle             Theorem
        LatexName             ax
-       LabelString           "Axiom \thechapter.\theaxiom."
+       LabelString           "Axiom \theaxiom."
        Preamble
          \theoremstyle{plain}
     \ifx\thechapter\undefined
@@ -172,6 +180,9 @@ Style Axiom
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
        LabelCounter          axiom
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -189,13 +200,16 @@ Style Axiom*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
 Style Condition
        CopyStyle             Definition
        LatexName             condition
-       LabelString           "Condition \thechapter.\thecondition."
+       LabelString           "Condition \thecondition."
        Preamble
          \theoremstyle{definition}
     \ifx\thechapter\undefined
@@ -211,6 +225,9 @@ Style Condition
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
        LabelCounter          condition
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -228,13 +245,16 @@ Style Condition*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
 Style Note
        CopyStyle             Remark
        LatexName             note
-       LabelString           "Note \thechapter.\thenote."
+       LabelString           "Note \thenote."
        Preamble
          \theoremstyle{remark}
     \ifx\thechapter\undefined
@@ -250,6 +270,8 @@ Style Note
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
        LabelCounter          note
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -267,13 +289,15 @@ Style Note*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
        EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
 Style Notation
        CopyStyle             Remark
        LatexName             notation
-       LabelString           "Notation \thechapter.\thenotation."
+       LabelString           "Notation \thenotation."
        Preamble
          \theoremstyle{remark}
     \ifx\thechapter\undefined
@@ -289,6 +313,9 @@ Style Notation
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
        LabelCounter          notation
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -306,13 +333,16 @@ Style Notation*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
 Style Summary
        CopyStyle             Remark
        LatexName             summary
-       LabelString           "Summary \thechapter.\thesummary."
+       LabelString           "Summary \thesummary."
        Preamble
          \theoremstyle{remark}
     \ifx\thechapter\undefined
@@ -329,6 +359,9 @@ Style Summary
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
        LabelCounter          summary
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -346,52 +379,16 @@ Style Summary*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
        EndBabelPreamble
-End
-
-
-Style Acknowledgement
-       CopyStyle             Remark
-       LatexName             acknowledgement
-       LabelString           "Acknowledgement \thechapter.\theacknowledgement."
-       Preamble
-         \theoremstyle{remark}
-    \ifx\thechapter\undefined
-      \newtheorem{acknowledgement}{\protect\acknowledgementname}
-    \else
-      \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
-    \fi
-       EndPreamble
-       LangPreamble
-         \providecommand{\acknowledgementname}{_(Acknowledgement)}
-       EndLangPreamble
-       BabelPreamble
-         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
-       EndBabelPreamble
-       LabelCounter          acknowledgement
-End
-
-
-Style Acknowledgement*
-       CopyStyle             Remark*
-       LatexName             acknowledgement*
-       LabelString           "Acknowledgement."
-       Preamble
-         \theoremstyle{remark}
-         \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
-       EndPreamble
-       LangPreamble
-         \providecommand{\acknowledgementname}{_(Acknowledgement)}
-       EndLangPreamble
-       BabelPreamble
-         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
-       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
 Style Conclusion
        CopyStyle             Remark
        LatexName             conclusion
-       LabelString           "Conclusion \thechapter.\theconclusion."
+       LabelString           "Conclusion \theconclusion."
        Preamble
          \theoremstyle{remark}
     \ifx\thechapter\undefined
@@ -407,6 +404,9 @@ Style Conclusion
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
        LabelCounter          conclusion
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -424,13 +424,16 @@ Style Conclusion*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
 Style Assumption
        CopyStyle             Theorem
        LatexName             assumption
-       LabelString           "Assumption \thechapter.\theassumption."
+       LabelString           "Assumption \theassumption."
        Preamble
          \theoremstyle{plain}
     \ifx\thechapter\undefined
@@ -446,6 +449,9 @@ Style Assumption
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
        LabelCounter          assumption
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -463,13 +469,16 @@ Style Assumption*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 Style Question
        CopyStyle             Theorem
        DependsOn             Theorem
        LatexName             question
-       LabelString           "Question \thechapter.\thequestion."
+       LabelString           "Question \thequestion."
        Preamble
          \theoremstyle{plain}
     \ifx\thechapter\undefined
@@ -485,6 +494,9 @@ Style Question
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
        LabelCounter          question
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Style Question*
@@ -501,6 +513,9 @@ Style Question*
        BabelPreamble
          \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
        EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
 
 Input theorems-refprefix.inc