IEEE: support for Transactions on Magnetics

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

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 268ad8e7220a2b351393ee066c0e3bc07525ec7c..b2a767909485f9bcc0deca699e3c7209ec14d7dd 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,17 +18,20 @@
 # - Claim
 # - Proof
 
-Format 6
+Format 43
 
 Style Theorem*
-       Category              Theorem
+       Category              Reasoning
        LatexType             Environment
        Margin                First_Dynamic
        LatexName             thm*
        LabelType             Static
        LabelString           "Theorem."
        NextNoIndent          1
-       OptionalArgs          1
+       Argument 1
+               LabelString   "Alternative Theorem String"
+               Tooltip       "Alternative theorem string"
+       EndArgument
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4
@@ -48,8 +51,15 @@ Style Theorem*
        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
 
 
@@ -59,8 +69,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
 
 
@@ -70,8 +86,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
 
 
@@ -81,8 +103,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
 
 
@@ -92,8 +120,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
 
 
@@ -103,8 +137,14 @@ 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
 
 
@@ -122,8 +162,14 @@ Style Definition*
        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
 
 
@@ -133,8 +179,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
 
 
@@ -144,8 +196,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
 
 
@@ -155,8 +213,14 @@ 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
 
 
@@ -174,8 +238,14 @@ Style Remark*
        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
 
 
@@ -185,7 +255,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