Author: uwestoehr
Date: Wed Jun 22 05:41:27 2011
New Revision: 39186
URL: http://www.lyx.org/trac/changeset/39186

Log:
- svcommon.inc: fix definition of proof and abstract*; whitespace
- svmono.layout: fine tuning and whitespace fixes

Modified:
   lyx-devel/trunk/lib/layouts/svcommon.inc
   lyx-devel/trunk/lib/layouts/svmono.layout

Modified: lyx-devel/trunk/lib/layouts/svcommon.inc
==============================================================================
--- lyx-devel/trunk/lib/layouts/svcommon.inc    Wed Jun 22 05:36:29 2011        
(r39185)
+++ lyx-devel/trunk/lib/layouts/svcommon.inc    Wed Jun 22 05:41:27 2011        
(r39186)
@@ -408,7 +408,7 @@
        LatexType       Environment
        LatexName       abstract
        LabelType       Static
-       LabelString     "Abstract."
+       LabelString     "Abstract"
        LabelFont
          Series        Bold
        EndFont
@@ -424,15 +424,16 @@
 End
 
 Style Abstract*
-      CopyStyle                Abstract
+       CopyStyle       Abstract
+       LatexType       Command
        LatexName       abstract*
-       LabelString     "Abstract* (not printed)."
-       LabelFont
+       LabelString     "Abstract* (not printed)"
+       LabelFont
          Color         Blue
        EndFont
        TextFont        
-          Color                Blue
-         EndFont
+         Color         Blue
+       EndFont
 End
 
 Style Keywords
@@ -530,7 +531,7 @@
        Align           Block
        AlignPossible   Block, Left
        LabelType       Static
-       LabelString     "Acknowledgements."
+       LabelString     "Acknowledgements"
        Font
          Size          Small
        EndFont
@@ -542,8 +543,8 @@
 End
 
 Style Acknowledgements
-      CopyStyle                Acknowledgement
-      LatexName                acknowledgements
+       CopyStyle       Acknowledgement
+       LatexName       acknowledgements
 End
 
 Style Bibliography
@@ -606,9 +607,14 @@
 End
 
 Style Proof
-       CopyStyle       Claim
        LatexName       proof
        LabelString     "Proof"
+       LangPreamble
+               \providecommand{\proofname}{_(Proof)}
+       EndLangPreamble
+       BabelPreamble
+               \addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}
+       EndBabelPreamble
 End
 
 Style Proof(QED)

Modified: lyx-devel/trunk/lib/layouts/svmono.layout
==============================================================================
--- lyx-devel/trunk/lib/layouts/svmono.layout   Wed Jun 22 05:36:29 2011        
(r39185)
+++ lyx-devel/trunk/lib/layouts/svmono.layout   Wed Jun 22 05:41:27 2011        
(r39186)
@@ -11,20 +11,24 @@
 Input svcommon.inc
 
 ClassOptions
-       FontSize         10
+       FontSize        10
 End
 
 NoStyle Acknowledgements
 #NoStyle Acknowledgement
 NoStyle Institute
 
+Style Abstract
+       LatexType       Command
+End
+
 Style Running_Chapter
-      CopyStyle                Running_Title
-      Category         Section
-      InTitle          0
-      LatexName                chaptermark
-      LeftMargin       "Running Chapter:xxx"
-      LabelString      "Running Chapter:"
+       CopyStyle       Running_Title
+       Category        Section
+       InTitle         0
+       LatexName       chaptermark
+       LeftMargin      "Running Chapter:xxx"
+       LabelString     "Running Chapter:"
 End
 
 Style Running_Section
@@ -36,19 +40,90 @@
 End
 
 Style Problem
-      ObsoletedBy      Prob
+       ObsoletedBy     Prob
 End
 
 Style Solution
-      ObsoletedBy      Sol
+       ObsoletedBy     Sol
+End
+
+InsetLayout    Flex:at_Address
+       CopyStyle       Flex:and
+       LatexName       at
+       LabelString     "at address"
+End
+
+Counter theorem
+  Within       chapter
+End
+
+Counter definition
+  Within       chapter
+End
+
+Counter remark
+  Within       chapter
+End
+
+Counter corollary
+  Within       chapter
+End
+
+Counter lemma
+  Within       chapter
+End
+
+Counter proposition
+  Within       chapter
+End
+
+Counter claim
+  Within       chapter
 End
 
-InsetLayout            Flex:at_Address
-       CopyStyle        Flex:and
-       LatexName       at
-       LabelString     "at address"
+Counter conjecture
+  Within       chapter
 End
 
+Counter question
+  Within       chapter
+End
+
+Counter example
+  Within       chapter
+End
+
+Counter exercise
+  Within       chapter
+End
+
+Counter case
+  Within       chapter
+End
+
+Counter property
+  Within       chapter
+End
+
+Counter note
+  Within       chapter
+End
+
+Style Claim
+       LabelString     "Claim."
+End
+
+Style Proof
+       LabelString     "Proof."
+End
+
+Style Proof(QED)
+       LabelString     "Proof."
+End
+
+Style Proof(smartQED)
+       LabelString     "Proof."
+End
 
 NoStyle TOC_Title
 NoStyle TOC_Author

Reply via email to