mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-15 23:49:37 +00:00
96023697f5
With the current settings, a theorem with several paragraphs will have several wrapper tags (i.e. two `<db:figure>`, with one paragraph each, one next to the other when it's the same theorem), while there should be only one (one `<db:figure>` with two paragraphs). It makes me wonder whether DocBookWrapperMergeWithPrevious should be the default value. I don't see a case where it would be set to `false` with a wrapper tag, but the test suite isn't developed enough to make the change with peace of mind (i.e. remove the parameter `DocBookWrapperMergeWithPrevious` and consider it is always `true` in the code). For the record, the current code also works with two subsequent theorems with two paragraphs each (see new test case).
358 lines
8.7 KiB
HTML
358 lines
8.7 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 environments defined are :
|
|
# - Theorem
|
|
# - Corollary
|
|
# - Lemma
|
|
# - Proposition
|
|
# - Conjecture
|
|
# - Definition
|
|
# - Example
|
|
# - Problem
|
|
# - Exercise
|
|
# - Solution
|
|
# - Remark
|
|
# - Claim
|
|
# - Proof
|
|
|
|
# TODO: for DocBook, there is no difference with standard (not starred) environments.
|
|
# How to encode the subtlety?
|
|
|
|
Format 99
|
|
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='theorem'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='corollary'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='lemma'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='proposition'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='conjecture'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='fact'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='definition'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='problem'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='exercise'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='solution'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='remark'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
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
|
|
DocBookWrapperTag figure
|
|
DocBookWrapperAttr role='claim'
|
|
DocBookTag para
|
|
DocBookGenerateTitle true
|
|
DocBookWrapperMergeWithPrevious true
|
|
End
|
|
|