X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-ams.inc;h=691559b2a2d257dab716eaaf3c647bf15f29f827;hb=051c5f27284f00c20e95c5732bcfb04632c7cb18;hp=d88406f2093bf3b2f9990c12fceb1bc6259dc27c;hpb=35c0783bd30442ec42dae2314bfc35d3dd668fcf;p=lyx.git diff --git a/lib/layouts/theorems-ams.inc b/lib/layouts/theorems-ams.inc index d88406f209..691559b2a2 100644 --- a/lib/layouts/theorems-ams.inc +++ b/lib/layouts/theorems-ams.inc @@ -2,7 +2,7 @@ # Probably broken by Jean-Marc Lasgouttes # modified and modularized by Emmanuel GUREGHIAN # Tinkered with Sep. '07 by Paul Rubin -# Modularized Jan 08 by Richard Heck +# Modularized Jan 08 by Richard Kimberly Heck # The environments defined are : # - Theorem @@ -20,7 +20,7 @@ # - Proof # - Case (by inclusion) -Format 84 +Format 99 OutlinerName thm "Definitions & Theorems" @@ -69,8 +69,11 @@ Style Theorem \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}} EndBabelPreamble Requires amsthm + DocBookWrapperTag figure + DocBookWrapperAttr role='theorem' DocBookTag para - DocBookAttr role='theorem' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -89,8 +92,11 @@ Style Corollary BabelPreamble \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='corollary' DocBookTag para - DocBookAttr role='corollary' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -109,8 +115,11 @@ Style Lemma BabelPreamble \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='lemma' DocBookTag para - DocBookAttr role='lemma' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -129,8 +138,11 @@ Style Proposition BabelPreamble \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='proposition' DocBookTag para - DocBookAttr role='proposition' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -149,8 +161,11 @@ Style Conjecture BabelPreamble \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='conjecture' DocBookTag para - DocBookAttr role='conjecture' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -169,8 +184,11 @@ Style Fact BabelPreamble \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='fact' DocBookTag para - DocBookAttr role='fact' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -196,8 +214,11 @@ Style Definition BabelPreamble \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='definition' DocBookTag para - DocBookAttr role='definition' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -235,8 +256,11 @@ Style Problem BabelPreamble \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='problem' DocBookTag para - DocBookAttr role='problem' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -254,8 +278,11 @@ Style Exercise BabelPreamble \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='exercise' DocBookTag para - DocBookAttr role='exercise' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -273,8 +300,11 @@ Style Solution BabelPreamble \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='solution' DocBookTag para - DocBookAttr role='solution' + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -301,8 +331,11 @@ Style Remark BabelPreamble \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}} EndBabelPreamble - DocBookTag note - DocBookItemTag para + DocBookWrapperTag figure + DocBookWrapperAttr role='remark' + DocBookTag para + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End @@ -320,9 +353,11 @@ Style Claim BabelPreamble \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}} EndBabelPreamble + DocBookWrapperTag figure + DocBookWrapperAttr role='claim' DocBookTag para - DocBookAttr role='claim' - DocBookItemTag "" + DocBookGenerateTitle true + DocBookWrapperMergeWithPrevious true End Input theorems-case.inc