From fa5b7920f669a716db6aa8ffb444721a07d29005 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Uwe=20St=C3=B6hr?= <uwestoehr@web.de>
Date: Wed, 22 Jun 2011 03:41:27 +0000
Subject: [PATCH] - svcommon.inc: fix definition of proof and abstract*;
 whitespace - svmono.layout: fine tuning and whitespace fixes

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@39186 a592a061-630c-0410-9148-cb99ea01b6c8
---
 lib/layouts/svcommon.inc  |  26 ++++++----
 lib/layouts/svmono.layout | 101 +++++++++++++++++++++++++++++++++-----
 2 files changed, 104 insertions(+), 23 deletions(-)

diff --git a/lib/layouts/svcommon.inc b/lib/layouts/svcommon.inc
index 3bafb9a206..5f45ba4e22 100644
--- a/lib/layouts/svcommon.inc
+++ b/lib/layouts/svcommon.inc
@@ -408,7 +408,7 @@ Style Abstract
 	LatexType	Environment
 	LatexName	abstract
 	LabelType	Static
-	LabelString	"Abstract."
+	LabelString	"Abstract"
 	LabelFont
 	  Series	Bold
 	EndFont
@@ -424,15 +424,16 @@ Style Abstract
 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 @@ Style Acknowledgement
 	Align		Block
 	AlignPossible	Block, Left
 	LabelType	Static
-	LabelString	"Acknowledgements."
+	LabelString	"Acknowledgements"
 	Font
 	  Size		Small
 	EndFont
@@ -542,8 +543,8 @@ Style Acknowledgement
 End
 
 Style Acknowledgements
-      CopyStyle		Acknowledgement
-      LatexName		acknowledgements
+	CopyStyle	Acknowledgement
+	LatexName	acknowledgements
 End
 
 Style Bibliography
@@ -606,9 +607,14 @@ Style Svgraybox
 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)
diff --git a/lib/layouts/svmono.layout b/lib/layouts/svmono.layout
index 0f2a800cc7..1f366f8b11 100644
--- a/lib/layouts/svmono.layout
+++ b/lib/layouts/svmono.layout
@@ -11,20 +11,24 @@ Format 35
 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 @@ Style Running_Section
 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"
+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
+
+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