]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-ams-extended-bytype.module
Move RevTeX section in Additional.lyx into Chapter 3 Document classes
[lyx.git] / lib / layouts / theorems-ams-extended-bytype.module
index 5466c1fd509e5cdb3e1f82c6125f22b365a40d88..32b3b192d38bdf84bb7c5641aaee04e78848e3f6 100644 (file)
@@ -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,
 # 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
 
-Format 25
+Format 98
 
 Requires       amsmath
 
@@ -33,29 +34,9 @@ Requires     amsmath
 # - Acknowledgement
 # - Conclusion
 # - Assumption
+# - Question
 
-# We need separate counters for each theorem-like style.
-Counter criterion
-End
-Counter algorithm
-End
-Counter axiom
-End
-Counter condition
-End
-Counter note
-End
-Counter notation
-End
-Counter summary
-End
-Counter acknowledgement
-End
-Counter conclusion
-End
-Counter assumption
-End
-
+Input theorems-counters-extended-bytype.inc
 
 Style Criterion
        CopyStyle             Theorem
@@ -63,9 +44,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 +64,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 +125,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 +146,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 +166,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 +187,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 +207,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 +227,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 +246,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 +267,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 +287,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 +308,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 +328,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 +349,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 +369,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 +390,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 +410,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 +431,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