* UserGuide.lyx

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

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 649762ed1cbaeb40f4d9b6c9846a25813b6d9d38..0caec91712e234210bae89952791cde1101953ff 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,9 +18,10 @@
 # - Claim
 # - Proof
 
-Format 6
+Format 8
 
 Style Theorem*
+       Category              Theorem
        LatexType             Environment
        Margin                First_Dynamic
        LatexName             thm*
@@ -49,6 +50,7 @@ Style Theorem*
          \theoremstyle{plain}
          \newtheorem*{thm*}{Theorem}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -60,6 +62,7 @@ Style Corollary*
          \theoremstyle{plain}
          \newtheorem*{cor*}{Corollary}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -71,6 +74,7 @@ Style Lemma*
          \theoremstyle{plain}
          \newtheorem*{lem*}{Lemma}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -82,6 +86,7 @@ Style Proposition*
          \theoremstyle{plain}
          \newtheorem*{prop*}{Proposition}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -93,6 +98,7 @@ Style Conjecture*
          \theoremstyle{plain}
          \newtheorem*{conjecture*}{Conjecture}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -104,6 +110,7 @@ Style Fact*
          \theoremstyle{plain}
          \newtheorem*{fact*}{Fact}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -115,10 +122,15 @@ Style Definition*
        Font
          Shape               Up
        EndFont
+       LabelFont
+         Shape               Up
+         Series              Bold
+       EndFont
        Preamble
         \theoremstyle{definition}
         \newtheorem*{defn*}{Definition}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -130,6 +142,7 @@ Style Example*
          \theoremstyle{definition}
          \newtheorem*{example*}{Example}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -141,6 +154,7 @@ Style Problem*
          \theoremstyle{definition}
          \newtheorem*{problem*}{Problem}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -152,6 +166,7 @@ Style Exercise*
          \theoremstyle{definition}
          \newtheorem*{xca*}{Exercise}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -171,6 +186,7 @@ Style Remark*
          \theoremstyle{remark}
          \newtheorem*{rem*}{Remark}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -182,5 +198,6 @@ Style Claim*
          \theoremstyle{remark}
          \newtheorem*{claim*}{Claim}
        EndPreamble
+       Requires              amsthm
 End