mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 13:18:28 +00:00
4345331870
The current spelling is not strictly wrong, but flagged as unusual or historical by some authorities. It is also found fault with many spell checkers. Thus we decided to move to the more standard "-ible" form once and for all. See #10678 for discussion This last part updates the layout format and changes collapsable color. This will all also all be backported to 2.3.x, for the sake of backwards compatibility (cherry-picking).
292 lines
6.6 KiB
PHP
292 lines
6.6 KiB
PHP
# 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 Heck <rgheck@comcast.net>
|
|
|
|
# The starred environnements defined are :
|
|
# - Theorem
|
|
# - Corollary
|
|
# - Lemma
|
|
# - Proposition
|
|
# - Conjecture
|
|
# - Definition
|
|
# - Example
|
|
# - Problem
|
|
# - Exercise
|
|
# - Solution
|
|
# - Remark
|
|
# - Claim
|
|
# - Proof
|
|
|
|
Format 65
|
|
|
|
OutlinerName thm "Definitions & Theorems"
|
|
|
|
Style Theorem*
|
|
Category Reasoning
|
|
LatexType Environment
|
|
Margin First_Dynamic
|
|
LatexName thm*
|
|
LabelType Static
|
|
LabelString "Theorem."
|
|
NextNoIndent 1
|
|
ResetArgs 1
|
|
AddToToc thm
|
|
IsTocCaption 1
|
|
Argument 1
|
|
LabelString "Additional Theorem Text"
|
|
Tooltip "Additional text appended to the theorem header"
|
|
IsTocCaption 1
|
|
EndArgument
|
|
LabelSep xx
|
|
ParIndent MMM
|
|
ParSkip 0.4
|
|
ItemSep 0.2
|
|
TopSep 0.7
|
|
BottomSep 0.7
|
|
ParSep 0.3
|
|
Align Block
|
|
AlignPossible Left
|
|
Font
|
|
Shape Italic
|
|
Size Normal
|
|
EndFont
|
|
LabelFont
|
|
Shape Up
|
|
Series Bold
|
|
EndFont
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{thm*}{\protect\theoremname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\theoremname}{_(Theorem)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
|
|
EndBabelPreamble
|
|
Requires amsthm
|
|
End
|
|
|
|
|
|
Style Corollary*
|
|
CopyStyle Theorem*
|
|
LatexName cor*
|
|
LabelString "Corollary."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{cor*}{\protect\corollaryname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\corollaryname}{_(Corollary)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Lemma*
|
|
CopyStyle Theorem*
|
|
LatexName lem*
|
|
LabelString "Lemma."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{lem*}{\protect\lemmaname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\lemmaname}{_(Lemma)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Proposition*
|
|
CopyStyle Theorem*
|
|
LatexName prop*
|
|
LabelString "Proposition."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{prop*}{\protect\propositionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\propositionname}{_(Proposition)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Conjecture*
|
|
CopyStyle Theorem*
|
|
LatexName conjecture*
|
|
LabelString "Conjecture."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{conjecture*}{\protect\conjecturename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conjecturename}{_(Conjecture)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Fact*
|
|
CopyStyle Theorem*
|
|
LatexName fact*
|
|
LabelString "Fact."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{fact*}{\protect\factname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\factname}{_(Fact)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Definition*
|
|
CopyStyle Theorem*
|
|
LatexName defn*
|
|
#LabelType Static
|
|
LabelString "Definition."
|
|
Font
|
|
Shape Up
|
|
EndFont
|
|
LabelFont
|
|
Shape Up
|
|
Series Bold
|
|
EndFont
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem*{defn*}{\protect\definitionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\definitionname}{_(Definition)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Example*
|
|
CopyStyle Definition*
|
|
LatexName example*
|
|
LabelString "Example."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem*{example*}{\protect\examplename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\examplename}{_(Example)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Problem*
|
|
CopyStyle Definition*
|
|
LatexName problem*
|
|
LabelString "Problem."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem*{problem*}{\protect\problemname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\problemname}{_(Problem)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Exercise*
|
|
CopyStyle Definition*
|
|
LatexName xca*
|
|
LabelString "Exercise."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem*{xca*}{\protect\exercisename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\exercisename}{_(Exercise)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Solution*
|
|
CopyStyle Definition*
|
|
LatexName sol*
|
|
LabelString "Solution."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem*{sol*}{\protect\solutionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\solutionname}{_(Solution)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Remark*
|
|
CopyStyle Theorem*
|
|
LatexName rem*
|
|
LabelString "Remark."
|
|
Font
|
|
Shape Up
|
|
Size Normal
|
|
EndFont
|
|
LabelFont
|
|
Series Medium
|
|
Shape Italic
|
|
EndFont
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{rem*}{\protect\remarkname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\remarkname}{_(Remark)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
|
|
EndBabelPreamble
|
|
End
|
|
|
|
|
|
Style Claim*
|
|
CopyStyle Remark*
|
|
LatexName claim*
|
|
LabelString "Claim."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{claim*}{\protect\claimname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\claimname}{_(Claim)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
|
|
EndBabelPreamble
|
|
End
|
|
|