X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-without-preamble.inc;h=9389cf8c66e950c81a2c22ebe160d60c7ace406b;hb=8d0d3ea0905172b4a1fba7fbfadba83ff61671c6;hp=8f8aa41eeed243c6bf004ae149fb79bf3c0d7deb;hpb=3f52e8058c874e39ad8f368b718da890e839954f;p=lyx.git diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc index 8f8aa41eee..9389cf8c66 100644 --- a/lib/layouts/theorems-without-preamble.inc +++ b/lib/layouts/theorems-without-preamble.inc @@ -26,20 +26,27 @@ # - Note -Format 54 +Format 89 +OutlinerName thm "Definitions & Theorems" Counter theorem + GuiName Theorem + LaTeXName thm End + Style Theorem Category Reasoning Margin First_Dynamic LatexType Environment LatexName theorem NextNoIndent 1 + AddToToc thm + IsTocCaption 1 Argument 1 LabelString "Name/Title" Tooltip "Alternative optional name or title" + IsTocCaption 1 EndArgument LabelSep xx ParIndent MMM @@ -67,10 +74,13 @@ Style Theorem BabelPreamble \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='theorem' End Counter corollary + GuiName Corollary End Style Corollary CopyStyle Theorem @@ -83,10 +93,13 @@ Style Corollary BabelPreamble \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='corollary' End Counter lemma + GuiName Lemma End Style Lemma CopyStyle Theorem @@ -99,10 +112,13 @@ Style Lemma BabelPreamble \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='lemma' End Counter proposition + GuiName Proposition End Style Proposition CopyStyle Theorem @@ -115,10 +131,13 @@ Style Proposition BabelPreamble \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='proposition' End Counter prop + GuiName Prop(osition) End Style Prop CopyStyle Theorem @@ -131,10 +150,13 @@ Style Prop LabelFont Series Medium EndFont + DocBookTag para + DocBookAttr role='proposition' End Counter conjecture + GuiName Conjecture End Style Conjecture CopyStyle Theorem @@ -154,10 +176,13 @@ Style Conjecture BabelPreamble \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='conjecture' End Counter fact + GuiName Fact End Style Fact CopyStyle Theorem @@ -170,10 +195,13 @@ Style Fact BabelPreamble \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='fact' End Counter definition + GuiName Definition End Style Definition CopyStyle Theorem @@ -194,10 +222,13 @@ Style Definition BabelPreamble \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='definition' End Counter example + GuiName Example End Style Example CopyStyle Conjecture @@ -211,10 +242,14 @@ Style Example BabelPreamble \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}} EndBabelPreamble + DocBookWrapperTag informalexample + DocBookTag para + DocBookAttr "" End Counter problem + GuiName Problem End Style Problem CopyStyle Definition @@ -229,10 +264,13 @@ Style Problem BabelPreamble \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='problem' End Counter prob + GuiName Prob(lem) Within chapter End # Prob does not copy a style to avoid preamble code @@ -259,10 +297,15 @@ Style Prob LabelFont Series Bold EndFont + AddToToc thm + IsTocCaption true + DocBookTag para + DocBookAttr role='problem' End Counter solution + GuiName Solution End Style Solution CopyStyle Problem @@ -276,6 +319,8 @@ Style Solution BabelPreamble \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='solution' End @@ -288,11 +333,15 @@ Style Sol Mandatory 1 LabelString "Label of Problem" Tooltip "Label of the corresponding problem" + IsTocCaption true EndArgument + DocBookTag para + DocBookAttr role='solution' End Counter exercise + GuiName Exercise End Style Exercise CopyStyle Definition @@ -306,10 +355,13 @@ Style Exercise BabelPreamble \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='exercise' End Counter remark + GuiName Remark End Style Remark CopyStyle Conjecture @@ -323,6 +375,8 @@ Style Remark BabelPreamble \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}} EndBabelPreamble + DocBookTag note + DocBookItemTag para End @@ -336,10 +390,14 @@ Style Claim BabelPreamble \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='claim' + DocBookItemTag "" End Counter case + GuiName Case End Style Case CopyStyle Remark @@ -353,10 +411,13 @@ Style Case BabelPreamble \addto\captions$$lang{\renewcommand{\casename}{_(Case)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='case' End Counter property + GuiName Property End Style Property CopyStyle Claim @@ -370,10 +431,13 @@ Style Property BabelPreamble \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='property' End Counter question + GuiName Question End Style Question CopyStyle Claim @@ -387,10 +451,13 @@ Style Question BabelPreamble \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}} EndBabelPreamble + DocBookTag para + DocBookAttr role='question' End Counter note + GuiName Note End Style Note CopyStyle Claim @@ -404,5 +471,7 @@ Style Note BabelPreamble \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} EndBabelPreamble + DocBookTag note + DocBookItemTag para End