mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-27 22:41:09 +00:00
9ca91b2566
There is nothing in the diff besides the format number changing from 93 to 95. From what I understand, this is as expected since 93 -> 94 and 94 -> 95 just add new layout tags. Updating the layouts makes it easier to test master. Otherwise, in some use cases layout2layout can be run hundreds of times which can make some things slow (e.g., opening documents or even opening the advanced find pane).
476 lines
12 KiB
Plaintext
476 lines
12 KiB
Plaintext
#\DeclareLyXModule{AMS Theorems (Extended)}
|
|
#\DeclareCategory{Maths}
|
|
#DescriptionBegin
|
|
#Defines some additional theorem environments for use with the
|
|
#AMS theorems packages. Includes Criterion, Algorithm, Axiom,
|
|
#Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
|
|
#Fact, Assumption, Case, and Question, in both numbered and non-numbered
|
|
#forms.
|
|
#DescriptionEnd
|
|
#Requires: theorems-ams
|
|
|
|
# Original Author : David L. Johnson <dlj0@lehigh.edu>
|
|
# 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 Kimberly Heck <rikiheck@lyx.org>
|
|
|
|
Format 95
|
|
|
|
Requires amsmath
|
|
|
|
# The environments defined (regular and starred) are :
|
|
# - Criterion
|
|
# - Algorithm
|
|
# - Axiom
|
|
# - Condition
|
|
# - Note
|
|
# - Notation
|
|
# - Summary
|
|
# - Acknowledgement
|
|
# - Conclusion
|
|
# - Fact
|
|
# - Assumption
|
|
# - Question
|
|
|
|
Style Criterion
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName criterion
|
|
LabelString "Criterion \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{criterion}[thm]{\protect\criterionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\criterionname}{_(Criterion)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='criterion'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
Style Criterion*
|
|
CopyStyle Theorem*
|
|
LatexName criterion*
|
|
LabelString "Criterion."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\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
|
|
DependsOn Theorem
|
|
LatexName lyxalgorithm
|
|
LabelString "Algorithm \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\algorithmname}{_(Algorithm)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='algorithm'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Algorithm*
|
|
CopyStyle Theorem*
|
|
LatexName lyxalgorithm*
|
|
LabelString "Algorithm."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\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
|
|
|
|
|
|
Style Axiom
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName ax
|
|
LabelString "Axiom \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{ax}[thm]{\protect\axiomname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\axiomname}{_(Axiom)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='axiom'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Axiom*
|
|
CopyStyle Theorem*
|
|
LatexName ax*
|
|
LabelString "Axiom."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\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
|
|
|
|
|
|
Style Condition
|
|
CopyStyle Definition
|
|
LatexName condition
|
|
LabelString "Condition \thetheorem."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{condition}[thm]{\protect\conditionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conditionname}{_(Condition)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='condition'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Condition*
|
|
CopyStyle Definition*
|
|
LatexName condition*
|
|
LabelString "Condition."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\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
|
|
|
|
|
|
Style Note
|
|
CopyStyle Remark
|
|
LatexName note
|
|
LabelString "Note \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{note}[thm]{\protect\notename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notename}{_(Note)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
|
|
EndBabelPreamble
|
|
DocBookTag note
|
|
DocBookItemTag para
|
|
End
|
|
|
|
|
|
Style Note*
|
|
CopyStyle Remark*
|
|
LatexName note*
|
|
LabelString "Note."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{note*}{\protect\notename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notename}{_(Note)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
|
|
EndBabelPreamble
|
|
DocBookTag note
|
|
DocBookItemTag para
|
|
End
|
|
|
|
|
|
Style Notation
|
|
CopyStyle Remark
|
|
LatexName notation
|
|
LabelString "Notation \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{notation}[thm]{\protect\notationname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notationname}{_(Notation)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='notation'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Notation*
|
|
CopyStyle Remark*
|
|
LatexName notation*
|
|
LabelString "Notation."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\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
|
|
|
|
|
|
Style Summary
|
|
CopyStyle Remark
|
|
LatexName summary
|
|
LabelString "Summary \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{summary}[thm]{\protect\summaryname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\summaryname}{_(Summary)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='summary'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Summary*
|
|
CopyStyle Remark*
|
|
LatexName summary*
|
|
LabelString "Summary."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\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
|
|
|
|
|
|
Style Acknowledgement
|
|
CopyStyle Remark
|
|
LatexName acknowledgement
|
|
LabelString "Acknowledgement \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\acknowledgementname}{_(Acknowledgement)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='acknowledgement'
|
|
DocBookItemTag ""
|
|
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='acknowledgement'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Conclusion
|
|
CopyStyle Remark
|
|
LatexName conclusion
|
|
LabelString "Conclusion \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{conclusion}[thm]{\protect\conclusionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conclusionname}{_(Conclusion)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='conclusion'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Conclusion*
|
|
CopyStyle Remark*
|
|
LatexName conclusion*
|
|
LabelString "Conclusion."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\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
|
|
|
|
|
|
Style Assumption
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName assumption
|
|
LabelString "Assumption \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{assumption}[thm]{\protect\assumptionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\assumptionname}{_(Assumption)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='assumption'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Assumption*
|
|
CopyStyle Theorem*
|
|
LatexName assumption*
|
|
LabelString "Assumption."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\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 \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{question}[thm]{\protect\questionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\questionname}{_(Question)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
|
|
EndBabelPreamble
|
|
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
|