2000-02-28 15:22:47 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
2018-07-07 14:08:48 +00:00
|
|
|
# \DeclareLaTeXClass[llncs,aliascnt.sty,multicol.sty]{Lecture Notes in Comp. Science (LNCS)}
|
2012-10-09 05:24:32 +00:00
|
|
|
# \DeclareCategory{Articles}
|
2003-10-13 09:50:10 +00:00
|
|
|
# llncs (article) textclass definition file.
|
2000-02-28 15:22:47 +00:00
|
|
|
# --------
|
|
|
|
#
|
|
|
|
# Taken from initial LyX source code
|
|
|
|
# Author : Matthias Ettrich <ettrich@informatik.uni-tuebingen.de>
|
2007-07-24 17:16:35 +00:00
|
|
|
# Transposed by Pascal André <andre@via.ecp.fr>
|
2000-02-28 15:22:47 +00:00
|
|
|
# Heavily modified and enhanced by serveral developers.
|
|
|
|
#
|
|
|
|
# --------
|
|
|
|
# Based on ejour2.layout.
|
|
|
|
# ejour2 made originally by Martin Vermeer based on article.layout.
|
|
|
|
# Modified for LyX 12 by Jean-Marc Lasgouttes and MV.
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
|
|
|
2020-12-11 10:46:31 +00:00
|
|
|
Format 90
|
2003-05-02 08:55:48 +00:00
|
|
|
Columns 1
|
|
|
|
Sides 1
|
|
|
|
PageStyle Plain
|
2000-02-28 15:22:47 +00:00
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Standard
|
Added categories for style Standard, Title, Abstract, ShortTitle,
Author, FourAuthors, Affiliation, FourAffiliations, Acknowledgements,
Itemize, Enumerate, Seriate
to layouts, where they were missing. More to follow
2012-12-30 18:33:20 +00:00
|
|
|
Category MainText
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Paragraph
|
|
|
|
LatexName dummy
|
|
|
|
ParIndent MM
|
|
|
|
ParSkip 0.4
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left, Right, Center
|
|
|
|
LabelType No_Label
|
2020-11-27 03:29:40 +00:00
|
|
|
DocBookTag para
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
|
2007-08-28 14:32:06 +00:00
|
|
|
Input stdinsets.inc
|
2000-02-28 15:22:47 +00:00
|
|
|
Input stdsections.inc
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Chapter
|
2003-05-02 08:55:48 +00:00
|
|
|
Align Center
|
|
|
|
AlignPossible Block,Left,Center
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 0
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Section
|
2003-05-02 08:55:48 +00:00
|
|
|
Font
|
|
|
|
Series Bold
|
|
|
|
Size Large
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 1
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subsection
|
2005-05-11 09:49:02 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 2
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subsubsection
|
2005-05-11 09:49:02 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 3
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Paragraph
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Medium
|
|
|
|
Shape Italic
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 4
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subparagraph
|
2003-05-02 08:55:48 +00:00
|
|
|
Font
|
|
|
|
Series Medium
|
|
|
|
Shape Up
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 5
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
# Now define the starred versions from the normal ones.
|
|
|
|
Input stdstarsections.inc
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
NoStyle Part
|
|
|
|
NoStyle Part*
|
|
|
|
NoStyle Chapter
|
2000-02-28 15:22:47 +00:00
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
# Some standard things
|
|
|
|
Input stdlayouts.inc
|
|
|
|
Input stdlists.inc
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Title
|
Added categories for style Standard, Title, Abstract, ShortTitle,
Author, FourAuthors, Affiliation, FourAffiliations, Acknowledgements,
Itemize, Enumerate, Seriate
to layouts, where they were missing. More to follow
2012-12-30 18:33:20 +00:00
|
|
|
Category FrontMatter
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName title
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 1.3
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.7
|
2003-10-13 09:50:10 +00:00
|
|
|
Align Center
|
2003-05-02 08:55:48 +00:00
|
|
|
AlignPossible Block, Center, Left, Right
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Family Sans
|
|
|
|
Series Bold
|
|
|
|
Size Largest
|
|
|
|
EndFont
|
2010-01-19 19:43:15 +00:00
|
|
|
HTMLTitle true
|
2020-11-27 03:34:33 +00:00
|
|
|
DocBookTag title
|
|
|
|
DocBookTagType paragraph
|
|
|
|
DocBookInInfo maybe
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subtitle
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName subtitle
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0
|
|
|
|
BottomSep 0
|
|
|
|
ParSep 0
|
|
|
|
Align Left
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Family Sans
|
|
|
|
Series Bold
|
|
|
|
Size Large
|
|
|
|
EndFont
|
2020-11-27 03:35:54 +00:00
|
|
|
DocBookTag subtitle
|
|
|
|
DocBookInInfo maybe
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2002-11-04 14:09:44 +00:00
|
|
|
Style Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
InTitle 1
|
|
|
|
LatexType Command
|
|
|
|
LatexName titlerunning
|
|
|
|
NextNoIndent 1
|
|
|
|
LeftMargin "Running title:xxx"
|
|
|
|
LabelSep xxx
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 1.3
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.7
|
|
|
|
Align Left
|
|
|
|
LabelType Static
|
2013-01-27 15:34:18 +00:00
|
|
|
LabelString "Running Title:"
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Shape Italic
|
2020-12-11 10:46:31 +00:00
|
|
|
Color textlabel3
|
2003-05-02 08:55:48 +00:00
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style TOC_Title
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName toctitle
|
2013-01-27 15:34:18 +00:00
|
|
|
LeftMargin "TOC Title:xxx"
|
|
|
|
LabelString "TOC Title:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Author
|
Added categories for style Standard, Title, Abstract, ShortTitle,
Author, FourAuthors, Affiliation, FourAffiliations, Acknowledgements,
Itemize, Enumerate, Seriate
to layouts, where they were missing. More to follow
2012-12-30 18:33:20 +00:00
|
|
|
Category FrontMatter
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName author
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ItemSep 0
|
|
|
|
ParSep 0
|
|
|
|
Align Left
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2020-11-27 03:40:16 +00:00
|
|
|
DocBookTag personname
|
|
|
|
DocBookTagType paragraph
|
|
|
|
DocBookWrapperTag author
|
|
|
|
DocBookWrapperTagType inline
|
|
|
|
DocBookInInfo always
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Author_Running
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName authorrunning
|
|
|
|
LeftMargin "Author Running:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Author Running:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style TOC_Author
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName tocauthor
|
|
|
|
LeftMargin "TOC Author:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "TOC Author:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Institute
|
Added categories for style Bibliography, TwoAuthors, ThreeAuthors, TwoAffiliations,
ThreeAffiliations, Institute, DinBrief, Section, Subsection, Theorem,
Labeling, Opening, Closing, Signature, Name
2012-12-30 19:30:35 +00:00
|
|
|
Category FrontMatter
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName institute
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 1.3
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.7
|
|
|
|
Align Left
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Size Small
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2003-04-30 15:29:00 +00:00
|
|
|
Style Email
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-10-13 09:50:10 +00:00
|
|
|
LatexName email
|
2003-05-02 08:55:48 +00:00
|
|
|
LeftMargin "Email:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Email:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2003-10-13 09:50:10 +00:00
|
|
|
Style Abstract
|
Added categories for style Standard, Title, Abstract, ShortTitle,
Author, FourAuthors, Affiliation, FourAffiliations, Acknowledgements,
Itemize, Enumerate, Seriate
to layouts, where they were missing. More to follow
2012-12-30 18:33:20 +00:00
|
|
|
Category FrontMatter
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Environment
|
|
|
|
LatexName abstract
|
|
|
|
NextNoIndent 0
|
|
|
|
ParIndent MM
|
|
|
|
LabelSep xx
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
2013-02-09 18:37:06 +00:00
|
|
|
LabelType Above
|
2005-06-13 09:36:58 +00:00
|
|
|
LabelString "Abstract."
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
EndFont
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2000-02-28 15:22:47 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Bibliography
|
Added categories for style Bibliography, TwoAuthors, ThreeAuthors, TwoAffiliations,
ThreeAffiliations, Institute, DinBrief, Section, Subsection, Theorem,
Labeling, Opening, Closing, Signature, Name
2012-12-30 19:30:35 +00:00
|
|
|
Category BackMatter
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Bib_Environment
|
|
|
|
LatexName thebibliography
|
|
|
|
NextNoIndent 1
|
2014-05-29 12:10:32 +00:00
|
|
|
ToggleIndent Never
|
2003-05-02 08:55:48 +00:00
|
|
|
LeftMargin MM
|
|
|
|
ParSkip 0.4
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.5
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
|
|
|
LabelType Bibliography
|
2005-06-13 09:36:58 +00:00
|
|
|
LabelString "References"
|
2014-05-29 12:10:32 +00:00
|
|
|
LabelBottomSep 0.7
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
EndFont
|
2018-01-29 08:09:51 +00:00
|
|
|
TocLevel 0
|
2018-02-21 15:37:07 +00:00
|
|
|
IsTocCaption 0
|
2018-08-17 08:22:32 +00:00
|
|
|
Argument listpreamble:1
|
|
|
|
LabelString "Bib preamble"
|
2018-08-17 09:14:45 +00:00
|
|
|
MenuString "Bibliography Preamble"
|
2018-08-17 08:22:32 +00:00
|
|
|
Tooltip "LaTeX code to be inserted before the first bibliography item"
|
|
|
|
PassThru 1
|
|
|
|
Font
|
|
|
|
Family typewriter
|
|
|
|
Color latex
|
|
|
|
EndFont
|
|
|
|
EndArgument
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
# Mathematics-like definitions:
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Case
|
2013-01-30 11:36:49 +00:00
|
|
|
Category Reasoning
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Environment
|
|
|
|
LatexName case
|
|
|
|
NextNoIndent 0
|
|
|
|
ParIndent MM
|
|
|
|
LabelSep xx
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0.5
|
|
|
|
BottomSep 0.5
|
|
|
|
ParSep 0
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
|
|
|
LabelType Static
|
2005-06-13 09:36:58 +00:00
|
|
|
LabelString "Case #."
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Claim
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName claim
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Claim."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Conjecture
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName conjecture
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Conjecture #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Corollary
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName corollary
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Corollary #."
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Shape Up
|
|
|
|
Series Bold
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Definition
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName definition
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Definition #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Example
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName example
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Example #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Exercise
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName exercise
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Exercise #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Lemma
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName lemma
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Lemma #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Note
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName note
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Note #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Problem
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Exercise
|
|
|
|
LatexName problem
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Problem #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Proof
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Claim
|
|
|
|
LatexName proof
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Proof."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Property
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName property
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Property #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Proposition
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName proposition
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Proposition #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Question
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
2003-10-13 09:50:10 +00:00
|
|
|
LatexName question
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Question #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Remark
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName remark
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Remark #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Solution
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName solution
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Solution #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Theorem
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName theorem
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Theorem #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2003-02-28 16:25:33 +00:00
|
|
|
Input stdfloats.inc
|
2002-10-24 14:09:08 +00:00
|
|
|
Input stdcounters.inc
|
2008-02-05 20:55:32 +00:00
|
|
|
Input stdinsets.inc
|
2010-07-11 13:45:21 +00:00
|
|
|
Input theorems-refprefix.inc
|