DocBook: implement theorems.

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

diff --git a/lib/layouts/theorems-ams-extended-bytype.module b/lib/layouts/theorems-ams-extended-bytype.module
index 548ac2bd74e701785a7762c870cfd74a84fa036a..c537defc78807b3819b325c40afbcdb81986969d 100644 (file)
--- a/lib/layouts/theorems-ams-extended-bytype.module
+++ b/lib/layouts/theorems-ams-extended-bytype.module
@@ -1,4 +1,5 @@
-#\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type)}
+#\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type)}
+#\DeclareCategory{Maths}
 #DescriptionBegin
 #Defines some additional theorem environments for use with the
 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
@@ -18,7 +19,7 @@
 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
 
-Format 33
+Format 82
 
 Requires       amsmath
 
@@ -33,27 +34,41 @@ Requires    amsmath
 # - Acknowledgement
 # - Conclusion
 # - Assumption
+# - Question
 
 # We need separate counters for each theorem-like style.
 Counter criterion
+       GuiName Criterion
 End
 Counter algorithm
+       GuiName Algorithm
 End
 Counter axiom
+       GuiName Axiom
 End
 Counter condition
+       GuiName Condition
 End
 Counter note
+       GuiName Note
 End
 Counter notation
+       GuiName Notation
 End
 Counter summary
+       GuiName Summary
 End
 Counter acknowledgement
+       GuiName Acknowledgement
 End
 Counter conclusion
+       GuiName Conclusion
 End
 Counter assumption
+       GuiName Assumption
+End
+Counter question
+       GuiName Question
 End
 
 
@@ -63,9 +78,18 @@ Style Criterion
        LabelString           "Criterion \thecriterion."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{criterion}{Criterion}
+         \newtheorem{criterion}{\protect\criterionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\criterionname}{_(Criterion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+       EndBabelPreamble
        LabelCounter          criterion
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 Style Criterion*
@@ -74,31 +98,58 @@ Style Criterion*
        LabelString           "Criterion."
        Preamble
          \theoremstyle{plain}
-         \newtheorem*{criterion*}{Criterion}
+         \newtheorem*{criterion*}{\protect\criterionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\criterionname}{_(Criterion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='criterion'
+       DocBookItemTag        ""
 End
 
 
 Style Algorithm
        CopyStyle             Theorem
-       LatexName             algorithm
+       LatexName             lyxalgorithm
        LabelString           "Algorithm \thealgorithm."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{algorithm}{Algorithm}
+         \newtheorem{lyxalgorithm}{\protect\algorithmname}
        EndPreamble
+       LangPreamble
+         \providecommand{\algorithmname}{_(Algorithm)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+       EndBabelPreamble
        LabelCounter          algorithm
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
 Style Algorithm*
        CopyStyle             Theorem*
-       LatexName             algorithm*
+       LatexName             lyxalgorithm*
        LabelString           "Algorithm."
        Preamble
          \theoremstyle{plain}
-         \newtheorem*{algorithm*}{Algorithm}
+         \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
        EndPreamble
+       LangPreamble
+         \providecommand{\algorithmname}{_(Algorithm)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='algorithm'
+       DocBookItemTag        ""
 End
 
 
@@ -108,9 +159,18 @@ Style Axiom
        LabelString           "Axiom \theaxiom."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{ax}{Axiom}
+         \newtheorem{ax}{\protect\axiomname}
        EndPreamble
+       LangPreamble
+         \providecommand{\axiomname}{_(Axiom)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+       EndBabelPreamble
        LabelCounter          axiom
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -120,8 +180,17 @@ Style Axiom*
        LabelString           "Axiom."
        Preamble
          \theoremstyle{plain}
-         \newtheorem*{ax*}{Axiom}
+         \newtheorem*{ax*}{\protect\axiomname}
        EndPreamble
+       LangPreamble
+         \providecommand{\axiomname}{_(Axiom)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='axiom'
+       DocBookItemTag        ""
 End
 
 
@@ -131,9 +200,18 @@ Style Condition
        LabelString           "Condition \thecondition."
        Preamble
          \theoremstyle{definition}
-         \newtheorem{condition}{Condition}
+         \newtheorem{condition}{\protect\conditionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\conditionname}{_(Condition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+       EndBabelPreamble
        LabelCounter          condition
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -143,8 +221,17 @@ Style Condition*
        LabelString           "Condition."
        Preamble
          \theoremstyle{definition}
-         \newtheorem*{condition*}{Condition}
+         \newtheorem*{condition*}{\protect\conditionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\conditionname}{_(Condition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='condition'
+       DocBookItemTag        ""
 End
 
 
@@ -154,9 +241,17 @@ Style Note
        LabelString           "Note \thenote."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{note}{Note}
+         \newtheorem{note}{\protect\notename}
        EndPreamble
+       LangPreamble
+         \providecommand{\notename}{_(Note)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+       EndBabelPreamble
        LabelCounter          note
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -166,8 +261,16 @@ Style Note*
        LabelString           "Note."
        Preamble
          \theoremstyle{remark}
-         \newtheorem*{note*}{Note}
+         \newtheorem*{note*}{\protect\notename}
        EndPreamble
+       LangPreamble
+         \providecommand{\notename}{_(Note)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+       EndBabelPreamble
+       DocBookTag            note
+       DocBookItemTag        para
 End
 
 
@@ -177,9 +280,18 @@ Style Notation
        LabelString           "Notation \thenotation."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{notation}{Notation}
+         \newtheorem{notation}{\protect\notationname}
        EndPreamble
+       LangPreamble
+         \providecommand{\notationname}{_(Notation)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+       EndBabelPreamble
        LabelCounter          notation
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -189,8 +301,17 @@ Style Notation*
        LabelString           "Notation."
        Preamble
          \theoremstyle{remark}
-         \newtheorem*{notation*}{Notation}
+         \newtheorem*{notation*}{\protect\notationname}
        EndPreamble
+       LangPreamble
+         \providecommand{\notationname}{_(Notation)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='notation'
+       DocBookItemTag        ""
 End
 
 
@@ -200,9 +321,18 @@ Style Summary
        LabelString           "Summary \thesummary."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{summary}{Summary}
+         \newtheorem{summary}{\protect\summaryname}
        EndPreamble
+       LangPreamble
+         \providecommand{\summaryname}{_(Summary)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+       EndBabelPreamble
        LabelCounter          summary
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -212,8 +342,17 @@ Style Summary*
        LabelString           "Summary."
        Preamble
          \theoremstyle{remark}
-         \newtheorem*{summary*}{Summary}
+         \newtheorem*{summary*}{\protect\summaryname}
        EndPreamble
+       LangPreamble
+         \providecommand{\summaryname}{_(Summary)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='summary'
+       DocBookItemTag        ""
 End
 
 
@@ -223,9 +362,18 @@ Style Acknowledgement
        LabelString           "Acknowledgement \theacknowledgement."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{acknowledgement}{Acknowledgement}
+         \newtheorem{acknowledgement}{\protect\acknowledgementname}
        EndPreamble
+       LangPreamble
+         \providecommand{\acknowledgementname}{_(Acknowledgement)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+       EndBabelPreamble
        LabelCounter          acknowledgement
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -235,8 +383,17 @@ Style Acknowledgement*
        LabelString           "Acknowledgement."
        Preamble
          \theoremstyle{remark}
-         \newtheorem*{acknowledgement*}{Acknowledgement}
+         \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
        EndPreamble
+       LangPreamble
+         \providecommand{\acknowledgementname}{_(Acknowledgement)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='acknowledgement'
+       DocBookItemTag        ""
 End
 
 
@@ -246,9 +403,18 @@ Style Conclusion
        LabelString           "Conclusion \theconclusion."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{conclusion}{Conclusion}
+         \newtheorem{conclusion}{\protect\conclusionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\conclusionname}{_(Conclusion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+       EndBabelPreamble
        LabelCounter          conclusion
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -258,8 +424,17 @@ Style Conclusion*
        LabelString           "Conclusion."
        Preamble
          \theoremstyle{remark}
-         \newtheorem*{conclusion*}{Conclusion}
+         \newtheorem*{conclusion*}{\protect\conclusionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\conclusionname}{_(Conclusion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='conclusion'
+       DocBookItemTag        ""
 End
 
 
@@ -269,9 +444,18 @@ Style Assumption
        LabelString           "Assumption \theassumption."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{assumption}{Assumption}
+         \newtheorem{assumption}{\protect\assumptionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\assumptionname}{_(Assumption)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+       EndBabelPreamble
        LabelCounter          assumption
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
 End
 
 
@@ -281,6 +465,57 @@ Style Assumption*
        LabelString           "Assumption."
        Preamble
          \theoremstyle{plain}
-         \newtheorem*{assumption*}{Assumption}
+         \newtheorem*{assumption*}{\protect\assumptionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\assumptionname}{_(Assumption)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='assumption'
+       DocBookItemTag        ""
+End
+
+Style Question
+       CopyStyle             Theorem
+       DependsOn             Theorem
+       LatexName             question
+       LabelString           "Question \thequestion."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem{question}{\protect\questionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+       LabelCounter          question
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
 End
+
+Style Question*
+       CopyStyle             Theorem*
+       LatexName             question*
+       LabelString           "Question."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{question*}{\protect\questionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+       DocBookTag            para
+       DocBookAttr           role='question'
+       DocBookItemTag        ""
+End
+
+Input theorems-refprefix.inc