X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-starred.inc;h=efe899e7f4503b62bd9afdd72b5bdfe5b36462d6;hb=c92c5b92a3d0ada4a00000b655634524ed66c9ad;hp=67704f89759512cbda3590b6041bd5300b62af6b;hpb=f5a5be4d188a20ee2a5c0213ee11bf64c0908841;p=lyx.git

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 67704f8975..efe899e7f4 100644
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -14,21 +14,59 @@
 # - Example
 # - Problem
 # - Exercise
+# - Solution
 # - Remark
 # - Claim
 # - Proof
 
-Format 6
+Format 68
+
+OutlinerName thm "Definitions & Theorems"
 
 Style Theorem*
-	CopyStyle             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*}{Theorem}
+	  \newtheorem*{thm*}{\protect\theoremname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\theoremname}{_(Theorem)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
+	EndBabelPreamble
+	Requires              amsthm
 End
 
 
@@ -38,8 +76,14 @@ Style Corollary*
 	LabelString           "Corollary."
 	Preamble
 	  \theoremstyle{plain}
-	  \newtheorem*{cor*}{Corollary}
+	  \newtheorem*{cor*}{\protect\corollaryname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\corollaryname}{_(Corollary)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
+	EndBabelPreamble
 End
 
 
@@ -49,8 +93,14 @@ Style Lemma*
 	LabelString           "Lemma."
 	Preamble
 	  \theoremstyle{plain}
-	  \newtheorem*{lem*}{Lemma}
+	  \newtheorem*{lem*}{\protect\lemmaname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\lemmaname}{_(Lemma)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
+	EndBabelPreamble
 End
 
 
@@ -60,8 +110,14 @@ Style Proposition*
 	LabelString           "Proposition."
 	Preamble
 	  \theoremstyle{plain}
-	  \newtheorem*{prop*}{Proposition}
+	  \newtheorem*{prop*}{\protect\propositionname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\propositionname}{_(Proposition)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
+	EndBabelPreamble
 End
 
 
@@ -71,8 +127,14 @@ Style Conjecture*
 	LabelString           "Conjecture."
 	Preamble
 	  \theoremstyle{plain}
-	  \newtheorem*{conjecture*}{Conjecture}
+	  \newtheorem*{conjecture*}{\protect\conjecturename}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\conjecturename}{_(Conjecture)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
+	EndBabelPreamble
 End
 
 
@@ -82,20 +144,39 @@ Style Fact*
 	LabelString           "Fact."
 	Preamble
 	  \theoremstyle{plain}
-	  \newtheorem*{fact*}{Fact}
+	  \newtheorem*{fact*}{\protect\factname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\factname}{_(Fact)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
+	EndBabelPreamble
 End
 
 
 Style Definition*
-	CopyStyle             Definition
+	CopyStyle             Theorem*
 	LatexName             defn*
-	LabelType             Static
+#LabelType             Static
 	LabelString           "Definition."
+	Font
+	  Shape               Up
+	EndFont
+	LabelFont
+	  Shape               Up
+	  Series              Bold
+	EndFont
 	Preamble
 	 \theoremstyle{definition}
-	 \newtheorem*{defn*}{Definition}
+	 \newtheorem*{defn*}{\protect\definitionname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\definitionname}{_(Definition)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
+	EndBabelPreamble
 End
 
 
@@ -105,8 +186,14 @@ Style Example*
 	LabelString           "Example."
 	Preamble
 	  \theoremstyle{definition}
-	  \newtheorem*{example*}{Example}
+	  \newtheorem*{example*}{\protect\examplename}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\examplename}{_(Example)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
+	EndBabelPreamble
 End
 
 
@@ -116,8 +203,14 @@ Style Problem*
 	LabelString           "Problem."
 	Preamble
 	  \theoremstyle{definition}
-	  \newtheorem*{problem*}{Problem}
+	  \newtheorem*{problem*}{\protect\problemname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\problemname}{_(Problem)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
+	EndBabelPreamble
 End
 
 
@@ -127,20 +220,56 @@ Style Exercise*
 	LabelString           "Exercise."
 	Preamble
 	  \theoremstyle{definition}
-	  \newtheorem*{xca*}{Exercise}
+	  \newtheorem*{xca*}{\protect\exercisename}
+	EndPreamble
+	LangPreamble
+	  \providecommand{\exercisename}{_(Exercise)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
+	EndBabelPreamble
+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
 End
 
 
 Style Remark*
-	CopyStyle             Remark
+	CopyStyle             Theorem*
 	LatexName             rem*
-	LabelType             Static
 	LabelString           "Remark."
+	Font
+	  Shape               Up
+	  Size                Normal
+	EndFont
+	LabelFont
+	  Series              Medium
+	  Shape               Italic
+	EndFont
 	Preamble
 	  \theoremstyle{remark}
-	  \newtheorem*{rem*}{Remark}
+	  \newtheorem*{rem*}{\protect\remarkname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\remarkname}{_(Remark)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
+	EndBabelPreamble
 End
 
 
@@ -150,7 +279,13 @@ Style Claim*
 	LabelString           "Claim."
 	Preamble
 	  \theoremstyle{remark}
-	  \newtheorem*{claim*}{Claim}
+	  \newtheorem*{claim*}{\protect\claimname}
 	EndPreamble
+	LangPreamble
+	  \providecommand{\claimname}{_(Claim)}
+	EndLangPreamble
+	BabelPreamble
+	  \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
+	EndBabelPreamble
 End