* UserGuide.lyx

[lyx.git] / lib / layouts / theorems-starred.inc

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 67704f89759512cbda3590b6041bd5300b62af6b..0caec91712e234210bae89952791cde1101953ff 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,17 +18,39 @@
 # - Claim
 # - Proof
 
-Format 6
+Format 8
 
 Style Theorem*
-       CopyStyle             Theorem
+       Category              Theorem
+       LatexType             Environment
+       Margin                First_Dynamic
        LatexName             thm*
        LabelType             Static
        LabelString           "Theorem."
+       NextNoIndent          1
+       OptionalArgs          1
+       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}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -40,6 +62,7 @@ Style Corollary*
          \theoremstyle{plain}
          \newtheorem*{cor*}{Corollary}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -51,6 +74,7 @@ Style Lemma*
          \theoremstyle{plain}
          \newtheorem*{lem*}{Lemma}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -62,6 +86,7 @@ Style Proposition*
          \theoremstyle{plain}
          \newtheorem*{prop*}{Proposition}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -73,6 +98,7 @@ Style Conjecture*
          \theoremstyle{plain}
          \newtheorem*{conjecture*}{Conjecture}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -84,18 +110,27 @@ Style Fact*
          \theoremstyle{plain}
          \newtheorem*{fact*}{Fact}
        EndPreamble
+       Requires              amsthm
 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}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -107,6 +142,7 @@ Style Example*
          \theoremstyle{definition}
          \newtheorem*{example*}{Example}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -118,6 +154,7 @@ Style Problem*
          \theoremstyle{definition}
          \newtheorem*{problem*}{Problem}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -129,18 +166,27 @@ Style Exercise*
          \theoremstyle{definition}
          \newtheorem*{xca*}{Exercise}
        EndPreamble
+       Requires              amsthm
 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}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -152,5 +198,6 @@ Style Claim*
          \theoremstyle{remark}
          \newtheorem*{claim*}{Claim}
        EndPreamble
+       Requires              amsthm
 End