]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-ams-extended.module
Whitespace.
[lyx.git] / lib / layouts / theorems-ams-extended.module
index c63a9a447913173886dfcbac6f180793daee1153..0fbe1ce76e1080d8163df706421f6c0ad79d5f6b 100644 (file)
@@ -3,9 +3,11 @@
 #Defines some additional theorem environments for use with the
 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
-#Fact, Assumption, and Case, in both starred and non-starred forms.
+#Fact, Assumption, Case, and Question, in both numbered and non-numbered
+#forms.
 #DescriptionEnd
-#Requires: Theorems (AMS)
+#Requires: theorems-ams
+#Category: theorems
 
 # Original Author : David L. Johnson <dlj0@lehigh.edu>
 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
 
-Format 6
+Format 49
 
 Requires       amsmath
 
-# The environnements defined (regular and starred) are :
+# The environments defined (regular and starred) are :
 # - Criterion
 # - Algorithm
 # - Axiom
@@ -29,16 +31,23 @@ Requires    amsmath
 # - Conclusion
 # - Fact
 # - Assumption
+# - Question
 
 Style Criterion
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             criterion
        LabelString           "Criterion \thetheorem."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{criterion}[thm]{Criterion}
+         \newtheorem{criterion}[thm]{\protect\criterionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\criterionname}{_(Criterion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
+       EndBabelPreamble
 End
 
 Style Criterion*
@@ -47,43 +56,67 @@ 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
 End
 
 
 Style Algorithm
        CopyStyle             Theorem
-       DependsOn             Theorem
-       LatexName             algorithm
+       DependsOn                  Theorem
+       LatexName             lyxalgorithm
        LabelString           "Algorithm \thetheorem."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{algorithm}[thm]{Algorithm}
+         \newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
        EndPreamble
+       LangPreamble
+         \providecommand{\algorithmname}{_(Algorithm)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
+       EndBabelPreamble
 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
 End
 
 
 Style Axiom
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             ax
        LabelString           "Axiom \thetheorem."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{ax}[thm]{Axiom}
+         \newtheorem{ax}[thm]{\protect\axiomname}
        EndPreamble
+       LangPreamble
+         \providecommand{\axiomname}{_(Axiom)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
+       EndBabelPreamble
 End
 
 
@@ -93,8 +126,14 @@ 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
 End
 
 
@@ -104,8 +143,14 @@ Style Condition
        LabelString           "Condition \thetheorem."
        Preamble
          \theoremstyle{definition}
-         \newtheorem{condition}[thm]{Condition}
+         \newtheorem{condition}[thm]{\protect\conditionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\conditionname}{_(Condition)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
+       EndBabelPreamble
 End
 
 
@@ -115,8 +160,14 @@ 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
 End
 
 
@@ -126,8 +177,14 @@ Style Note
        LabelString           "Note \thetheorem."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{note}[thm]{Note}
+         \newtheorem{note}[thm]{\protect\notename}
        EndPreamble
+       LangPreamble
+         \providecommand{\notename}{_(Note)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
+       EndBabelPreamble
 End
 
 
@@ -137,8 +194,14 @@ 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
 End
 
 
@@ -148,8 +211,14 @@ Style Notation
        LabelString           "Notation \thetheorem."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{notation}[thm]{Notation}
+         \newtheorem{notation}[thm]{\protect\notationname}
        EndPreamble
+       LangPreamble
+         \providecommand{\notationname}{_(Notation)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
+       EndBabelPreamble
 End
 
 
@@ -159,8 +228,14 @@ 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
 End
 
 
@@ -170,8 +245,14 @@ Style Summary
        LabelString           "Summary \thetheorem."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{summary}[thm]{Summary}
+         \newtheorem{summary}[thm]{\protect\summaryname}
        EndPreamble
+       LangPreamble
+         \providecommand{\summaryname}{_(Summary)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
+       EndBabelPreamble
 End
 
 
@@ -181,8 +262,14 @@ 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
 End
 
 
@@ -192,8 +279,14 @@ Style Acknowledgement
        LabelString           "Acknowledgement \thetheorem."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{acknowledgement}[thm]{Acknowledgement}
+         \newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
        EndPreamble
+       LangPreamble
+         \providecommand{\acknowledgementname}{_(Acknowledgement)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
+       EndBabelPreamble
 End
 
 
@@ -203,8 +296,14 @@ 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
 End
 
 
@@ -214,8 +313,14 @@ Style Conclusion
        LabelString           "Conclusion \thetheorem."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{conclusion}[thm]{Conclusion}
+         \newtheorem{conclusion}[thm]{\protect\conclusionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\conclusionname}{_(Conclusion)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
+       EndBabelPreamble
 End
 
 
@@ -225,20 +330,32 @@ 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
 End
 
 
 Style Assumption
        CopyStyle             Theorem
-       DependsOn             Theorem
+       DependsOn                   Theorem
        LatexName             assumption
        LabelString           "Assumption \thetheorem."
        Preamble
          \theoremstyle{plain}
-         \newtheorem{assumption}[thm]{Assumption}
+         \newtheorem{assumption}[thm]{\protect\assumptionname}
        EndPreamble
+       LangPreamble
+         \providecommand{\assumptionname}{_(Assumption)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
+       EndBabelPreamble
 End
 
 
@@ -248,6 +365,47 @@ 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
 End
+
+Style Question
+       CopyStyle             Theorem
+       DependsOn             Theorem
+       LatexName             question
+       LabelString           "Question \thetheorem."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem{question}[thm]{\protect\questionname}
+       EndPreamble
+       LangPreamble
+         \providecommand{\questionname}{_(Question)}
+       EndLangPreamble
+       BabelPreamble
+         \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
+       EndBabelPreamble
+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
+End
+
+Input theorems-refprefix.inc