X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-without-preamble.inc;h=ad7580bb4a0846cdd8203869f1891fc3ee18fe5b;hb=bab184e49e4420ad5277eacd45f2447727f55bbd;hp=7b4863d63d6ce8bf2ebe6522411c1052209d110a;hpb=8ba08a53b2ac7039126a0b90fce5d19374c781ea;p=lyx.git diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc index 7b4863d63d..ad7580bb4a 100644 --- a/lib/layouts/theorems-without-preamble.inc +++ b/lib/layouts/theorems-without-preamble.inc @@ -1,5 +1,5 @@ # This file provides theorem environments without adding preamble code or -# requiring packages. THis is useful for classes that define their own theorems +# requiring packages. This is useful for classes that define their own theorems # like svjour3 or ijmpc. # Author: Uwe Stöhr @@ -26,18 +26,25 @@ # - Note -Format 36 +Format 80 +OutlinerName thm "Definitions & Theorems" Counter theorem End Style Theorem - Category Theorem + Category Reasoning Margin First_Dynamic LatexType Environment LatexName theorem NextNoIndent 1 - OptionalArgs 1 + AddToToc thm + IsTocCaption 1 + Argument 1 + LabelString "Name/Title" + Tooltip "Alternative optional name or title" + IsTocCaption 1 + EndArgument LabelSep xx ParIndent MMM ParSkip 0.4 @@ -47,7 +54,7 @@ Style Theorem ParSep 0.3 Align Block AlignPossible Left - LabelType Counter + LabelType Static LabelCounter theorem LabelString "Theorem \thetheorem." Font @@ -59,10 +66,10 @@ Style Theorem Series Bold EndFont LangPreamble - \providecommand{\theoremname}{_(Theorem)} + \providecommand{\theoremname}{_(Theorem)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}} + \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}} EndBabelPreamble End @@ -75,10 +82,10 @@ Style Corollary LatexName corollary LabelString "Corollary \thecorollary." LangPreamble - \providecommand{\corollaryname}{_(Corollary)} + \providecommand{\corollaryname}{_(Corollary)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}} + \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}} EndBabelPreamble End @@ -91,10 +98,10 @@ Style Lemma LatexName lemma LabelString "Lemma \thelemma." LangPreamble - \providecommand{\lemmaname}{_(Lemma)} + \providecommand{\lemmaname}{_(Lemma)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}} + \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}} EndBabelPreamble End @@ -107,10 +114,10 @@ Style Proposition LatexName proposition LabelString "Proposition \theproposition." LangPreamble - \providecommand{\propositionname}{_(Proposition)} + \providecommand{\propositionname}{_(Proposition)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}} + \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}} EndBabelPreamble End @@ -146,10 +153,10 @@ Style Conjecture Shape Italic EndFont LangPreamble - \providecommand{\conjecturename}{_(Conjecture)} + \providecommand{\conjecturename}{_(Conjecture)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}} + \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}} EndBabelPreamble End @@ -162,10 +169,10 @@ Style Fact LatexName fact LabelString "Fact \thefact." LangPreamble - \providecommand{\factname}{_(Fact)} + \providecommand{\factname}{_(Fact)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}} + \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}} EndBabelPreamble End @@ -186,10 +193,10 @@ Style Definition Series Bold EndFont LangPreamble - \providecommand{\definitionname}{_(Definition)} + \providecommand{\definitionname}{_(Definition)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}} + \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}} EndBabelPreamble End @@ -203,10 +210,10 @@ Style Example LabelString "Example \theexample." RefPrefix exa LangPreamble - \providecommand{\examplename}{_(Example)} + \providecommand{\examplename}{_(Example)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}} + \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}} EndBabelPreamble End @@ -221,10 +228,10 @@ Style Problem LabelString "Problem \theproblem." RefPrefix prob LangPreamble - \providecommand{\problemname}{_(Problem)} + \providecommand{\problemname}{_(Problem)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}} + \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}} EndBabelPreamble End @@ -238,12 +245,12 @@ Style Prob LatexType Environment LatexName prob Margin First_Dynamic - LabelType Counter + LabelType Static LabelCounter prob LabelString "\theprob." RefPrefix pro NextNoIndent 1 - OptionalArgs 0 + ResetArgs 1 LabelSep xx ParIndent MMM ParSkip 0.4 @@ -256,6 +263,8 @@ Style Prob LabelFont Series Bold EndFont + AddToToc thm + IsTocCaption true End @@ -268,10 +277,10 @@ Style Solution LabelString "Solution \thesolution." RefPrefix solu LangPreamble - \providecommand{\solutionname}{_(Solution)} + \providecommand{\solutionname}{_(Solution)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}} + \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}} EndBabelPreamble End @@ -281,7 +290,12 @@ Style Sol LatexName sol LabelType Static LabelString "# [number of Prob]" - RequiredArgs 1 + Argument 1 + Mandatory 1 + LabelString "Label of Problem" + Tooltip "Label of the corresponding problem" + IsTocCaption true + EndArgument End @@ -294,10 +308,10 @@ Style Exercise LabelString "Exercise \theexercise." RefPrefix exer LangPreamble - \providecommand{\exercisename}{_(Exercise)} + \providecommand{\exercisename}{_(Exercise)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}} + \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}} EndBabelPreamble End @@ -311,10 +325,10 @@ Style Remark LabelString "Remark \theremark." RefPrefix rem LangPreamble - \providecommand{\remarkname}{_(Remark)} + \providecommand{\remarkname}{_(Remark)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}} + \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}} EndBabelPreamble End @@ -324,10 +338,10 @@ Style Claim LatexName claim LabelString "Claim" LangPreamble - \providecommand{\claimname}{_(Claim)} + \providecommand{\claimname}{_(Claim)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}} + \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}} EndBabelPreamble End @@ -341,10 +355,10 @@ Style Case LabelString "Case \thecase." RefPrefix case LangPreamble - \providecommand{\casename}{_(Case)} + \providecommand{\casename}{_(Case)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\casename}{_(Case)}} + \addto\captions$$lang{\renewcommand{\casename}{_(Case)}} EndBabelPreamble End @@ -358,10 +372,10 @@ Style Property LabelString "Property \theproperty." RefPrefix prop LangPreamble - \providecommand{\propertyname}{_(Property)} + \providecommand{\propertyname}{_(Property)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}} + \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}} EndBabelPreamble End @@ -375,10 +389,10 @@ Style Question LabelString "Question \thequestion." RefPrefix que LangPreamble - \providecommand{\questionname}{_(Question)} + \providecommand{\questionname}{_(Question)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}} + \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}} EndBabelPreamble End @@ -392,10 +406,10 @@ Style Note LabelString "Note \thenote." RefPrefix note LangPreamble - \providecommand{\notename}{_(Note)} + \providecommand{\notename}{_(Note)} EndLangPreamble BabelPreamble - \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} + \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} EndBabelPreamble End