Correct version number

[lyx.git] / lib / layouts / theorems-without-preamble.inc

diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc
index 3b0bd74660f8b5723421956ecb66646b39e9e376..80beb8ebdbea8928e216085a06cd3d38d4b3d10b 100644 (file)
--- 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 <uwestoehr@web.de>
 
@@ -26,10 +26,12 @@
 # - Note
 
 
-Format 45
+Format 82
 
+OutlinerName thm "Definitions & Theorems"
 
 Counter                theorem
+       GuiName Theorem
 End
 Style Theorem
        Category        Reasoning
@@ -37,9 +39,12 @@ Style Theorem
        LatexType       Environment
        LatexName       theorem
        NextNoIndent    1
+       AddToToc              thm
+       IsTocCaption          1
        Argument 1
          LabelString   "Name/Title"
          Tooltip       "Alternative optional name or title"
+         IsTocCaption      1
        EndArgument
        LabelSep        xx
        ParIndent       MMM
@@ -71,6 +76,7 @@ End
 
 
 Counter                corollary
+       GuiName Corollary
 End
 Style Corollary
        CopyStyle       Theorem
@@ -87,6 +93,7 @@ End
 
 
 Counter                lemma
+       GuiName Lemma
 End
 Style Lemma
        CopyStyle       Theorem
@@ -103,6 +110,7 @@ End
 
 
 Counter                proposition
+       GuiName Proposition
 End
 Style Proposition
        CopyStyle       Theorem
@@ -119,6 +127,7 @@ End
 
 
 Counter                prop
+       GuiName Prop(osition)
 End
 Style Prop
        CopyStyle       Theorem
@@ -135,6 +144,7 @@ End
 
 
 Counter                conjecture
+       GuiName Conjecture
 End
 Style Conjecture
        CopyStyle       Theorem
@@ -158,6 +168,7 @@ End
 
 
 Counter                fact
+       GuiName Fact
 End
 Style Fact
        CopyStyle       Theorem
@@ -174,6 +185,7 @@ End
 
 
 Counter                definition
+       GuiName Definition
 End
 Style Definition
        CopyStyle       Theorem
@@ -198,6 +210,7 @@ End
 
 
 Counter                example
+       GuiName Example
 End
 Style Example
        CopyStyle       Conjecture
@@ -215,6 +228,7 @@ End
 
 
 Counter                problem
+       GuiName Problem
 End
 Style Problem
        CopyStyle       Definition
@@ -233,6 +247,7 @@ End
 
 
 Counter                prob
+       GuiName Prob(lem)
   Within       chapter
 End
 # Prob does not copy a style to avoid preamble code
@@ -259,10 +274,13 @@ Style Prob
        LabelFont
          Series        Bold
        EndFont
+       AddToToc        thm
+       IsTocCaption    true
 End
 
 
 Counter                solution
+       GuiName Solution
 End
 Style Solution
        CopyStyle       Problem
@@ -288,11 +306,13 @@ Style Sol
          Mandatory     1
          LabelString   "Label of Problem"
          Tooltip       "Label of the corresponding problem"
+         IsTocCaption true
        EndArgument
 End
 
 
 Counter                exercise
+       GuiName Exercise
 End
 Style Exercise
        CopyStyle       Definition
@@ -310,6 +330,7 @@ End
 
 
 Counter                remark
+       GuiName Remark
 End
 Style Remark
        CopyStyle       Conjecture
@@ -340,6 +361,7 @@ End
 
 
 Counter                case
+       GuiName Case
 End
 Style Case
        CopyStyle       Remark
@@ -357,6 +379,7 @@ End
 
 
 Counter                property
+       GuiName Property
 End
 Style Property
        CopyStyle       Claim
@@ -374,6 +397,7 @@ End
 
 
 Counter                question
+       GuiName Question
 End
 Style Question
        CopyStyle       Claim
@@ -391,6 +415,7 @@ End
 
 
 Counter                note
+       GuiName Note
 End
 Style Note
        CopyStyle       Claim