Renamed category 'Theorem' and 'Theorems' to 'Reasoning'

This commit is contained in:
Kornel Benko 2013-01-30 12:36:49 +01:00
parent 1bcf819276
commit 4b95c7b2a3
22 changed files with 26 additions and 26 deletions

View File

@ -316,7 +316,7 @@ End
Style Proof
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName IEEEproof

View File

@ -1149,7 +1149,7 @@ End
#
Style Corollary
Category Theorems
Category Reasoning
Margin First_Dynamic
LatexType Environment
NextNoIndent 0

View File

@ -242,7 +242,7 @@ Style Abstract
End
# Theorem environments have been copied over from the theorem modules. They
# Reasoning environments have been copied over from the theorem modules. They
# could not be input as they do some stuff which is incompatible with the
# Elsevier stlye: redefine the theorem* environments in the preamble.
@ -270,7 +270,7 @@ End
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName thm
@ -300,7 +300,7 @@ End
# Proof style declaration - from email by Stacy Prowell (sprowell@cs.utk.edu)
Style Proof
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
# elsart defines the unusual environment pf for proofs.

View File

@ -218,7 +218,7 @@ End
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName Theorem

View File

@ -17,7 +17,7 @@ EndPreamble
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
@ -95,7 +95,7 @@ End
Style Proof
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName proof

View File

@ -325,7 +325,7 @@ End
Style Proof
LatexType Environment
LatexName proof
Category Theorem
Category Reasoning
Margin First_Dynamic
TopSep 0.6
BottomSep 0.6

View File

@ -328,7 +328,7 @@ End
Style Proof
LatexType Environment
LatexName proof
Category Theorem
Category Reasoning
Margin First_Dynamic
TopSep 0.6
BottomSep 0.6

View File

@ -137,7 +137,7 @@ EndPreamble
# My Address style used to specify sender name and coordinates
Style My_Address
CopyStyle My_Address
Category Headings
Category "Postal Data"
Margin Static
LatexType Command
LatexName MyAddress

View File

@ -291,7 +291,7 @@ End
# Mathematics-like definitions:
Style Case
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName case

View File

@ -173,7 +173,7 @@ Style Chapterprecis
End
Style Epigraph
Category Maintext
Category MainText
Margin Right_Address_Box
LatexType Command
LatexName epigraph
@ -244,7 +244,7 @@ Input lyxmacros.inc
Input stdlayouts.inc
Style Legend
Category Maintext
Category MainText
LatexType Command
LatexName legend
NeedProtect 1

View File

@ -115,7 +115,7 @@ Style Conjecture*
End
Style Algorithm
Category Theorem
Category Reasoning
Preamble
EndPreamble
End

View File

@ -634,7 +634,7 @@ Style Svgraybox
End
Style Proof
Category Theorem
Category Reasoning
LatexType Environment
LatexName proof
Margin First_Dynamic

View File

@ -48,7 +48,7 @@ Counter claim
End
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName thm

View File

@ -22,7 +22,7 @@
Format 43
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName thm

View File

@ -24,7 +24,7 @@
Format 43
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName thm

View File

@ -25,7 +25,7 @@ Counter caseiv
End
Style Case
Category Theorem
Category Reasoning
CopyStyle Enumerate
LatexName casenv
LabelType Enumerate

View File

@ -10,7 +10,7 @@
Format 43
Style "Named Theorem"
CopyStyle Theorem*
Category Theorem
Category Reasoning
LabelString "Named Theorem."
LatexName namedthm
Preamble

View File

@ -11,7 +11,7 @@
Format 43
Style Proof
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName proof

View File

@ -21,7 +21,7 @@
Format 43
Style Theorem*
Category Theorem
Category Reasoning
LatexType Environment
Margin First_Dynamic
LatexName thm*

View File

@ -32,7 +32,7 @@ Format 43
Counter theorem
End
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem

View File

@ -22,7 +22,7 @@
Format 43
Style Theorem
Category Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName thm

View File

@ -21,7 +21,7 @@ NoStyle Chapter
NoStyle Chapter*
Style Part
Category Section
Category Sectioning
Margin Dynamic
LabelType No_Label
TocLevel 0