X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-ams-extended-bytype.module;h=c537defc78807b3819b325c40afbcdb81986969d;hb=ca1ca4326b027d7781c6ff31c1dfb1b5e4e53d8c;hp=7ed804265501535436971fc80b3ad96d0e48e14a;hpb=460b44b8f5e94d2e48302ea8cdeae475295f624b;p=features.git diff --git a/lib/layouts/theorems-ams-extended-bytype.module b/lib/layouts/theorems-ams-extended-bytype.module index 7ed8042655..c537defc78 100644 --- 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 # Hacked June '09 by Paul Rubin to use separate counters -Format 44 +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 @@ -72,6 +87,9 @@ Style Criterion \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}} EndBabelPreamble LabelCounter criterion + DocBookTag para + DocBookAttr role='criterion' + DocBookItemTag "" End Style Criterion* @@ -88,16 +106,19 @@ Style Criterion* 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}{\protect\algorithmname} + \newtheorem{lyxalgorithm}{\protect\algorithmname} EndPreamble LangPreamble \providecommand{\algorithmname}{_(Algorithm)} @@ -106,16 +127,19 @@ Style Algorithm \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*}{\protect\algorithmname} + \newtheorem*{lyxalgorithm*}{\protect\algorithmname} EndPreamble LangPreamble \providecommand{\algorithmname}{_(Algorithm)} @@ -123,6 +147,9 @@ Style Algorithm* BabelPreamble \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='algorithm' + DocBookItemTag "" End @@ -141,6 +168,9 @@ Style Axiom \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}} EndBabelPreamble LabelCounter axiom + DocBookTag para + DocBookAttr role='axiom' + DocBookItemTag "" End @@ -158,6 +188,9 @@ Style Axiom* BabelPreamble \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='axiom' + DocBookItemTag "" End @@ -176,6 +209,9 @@ Style Condition \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}} EndBabelPreamble LabelCounter condition + DocBookTag para + DocBookAttr role='condition' + DocBookItemTag "" End @@ -193,6 +229,9 @@ Style Condition* BabelPreamble \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='condition' + DocBookItemTag "" End @@ -211,6 +250,8 @@ Style Note \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} EndBabelPreamble LabelCounter note + DocBookTag note + DocBookItemTag para End @@ -228,6 +269,8 @@ Style Note* BabelPreamble \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} EndBabelPreamble + DocBookTag note + DocBookItemTag para End @@ -246,6 +289,9 @@ Style Notation \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}} EndBabelPreamble LabelCounter notation + DocBookTag para + DocBookAttr role='notation' + DocBookItemTag "" End @@ -263,6 +309,9 @@ Style Notation* BabelPreamble \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='notation' + DocBookItemTag "" End @@ -281,6 +330,9 @@ Style Summary \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}} EndBabelPreamble LabelCounter summary + DocBookTag para + DocBookAttr role='summary' + DocBookItemTag "" End @@ -298,6 +350,9 @@ Style Summary* BabelPreamble \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='summary' + DocBookItemTag "" End @@ -316,6 +371,9 @@ Style Acknowledgement \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}} EndBabelPreamble LabelCounter acknowledgement + DocBookTag para + DocBookAttr role='acknowledgement' + DocBookItemTag "" End @@ -333,6 +391,9 @@ Style Acknowledgement* BabelPreamble \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='acknowledgement' + DocBookItemTag "" End @@ -351,6 +412,9 @@ Style Conclusion \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}} EndBabelPreamble LabelCounter conclusion + DocBookTag para + DocBookAttr role='conclusion' + DocBookItemTag "" End @@ -368,6 +432,9 @@ Style Conclusion* BabelPreamble \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='conclusion' + DocBookItemTag "" End @@ -386,6 +453,9 @@ Style Assumption \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}} EndBabelPreamble LabelCounter assumption + DocBookTag para + DocBookAttr role='assumption' + DocBookItemTag "" End @@ -403,4 +473,49 @@ 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 \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