mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-28 12:26:59 +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).
320 lines
7.5 KiB
HTML
320 lines
7.5 KiB
HTML
# 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>
|
|
|
|
# The starred environnements defined are :
|
|
# - Theorem
|
|
# - Corollary
|
|
# - Lemma
|
|
# - Proposition
|
|
# - Conjecture
|
|
# - Definition
|
|
# - Example
|
|
# - Problem
|
|
# - Exercise
|
|
# - Solution
|
|
# - Remark
|
|
# - Claim
|
|
# - Proof
|
|
|
|
Format 95
|
|
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='theorem'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='corollary'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='lemma'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='proposition'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='conjecture'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='fact'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='definition'
|
|
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
|
|
DocBookWrapperTag informalexample
|
|
DocBookTag para
|
|
DocBookAttr ""
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='problem'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='exercise'
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='solution'
|
|
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
|
|
DocBookTag note
|
|
DocBookItemTag para
|
|
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
|
|
DocBookTag para
|
|
DocBookAttr role='claim'
|
|
DocBookItemTag ""
|
|
End
|
|
|