IEEEtran theorems added

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@426 a592a061-630c-0410-9148-cb99ea01b6c8

ChangeLog

@@ -1,3 +1,13 @@
+2000-01-20  Allan Rae <rae@lyx.org>
+
+	* lib/layouts/IEEEtran.layout: Added several theorem environments
+
+	* lib/templates/IEEEtran.lyx: Example theorem environments and a
+	couple of minor additions.
+
+	* lib/doc/LaTeXConfig.lyx.in:  Use URL insets for ftp sites 
+	(except for those in footnotes of course)
+
 2000-01-19  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
 
 	* src/support/LAssert.h: do not do partial specialization. We do

lib/doc/LaTeXConfig.lyx.in

@@ -1,5 +1,4 @@
-#This file was created by <lasgoutt> Thu Nov 18 16:34:00 1999
+#LyX 1.1 created this file. For more info see http://www.lyx.org/
-#LyX 1.0 (C) 1995-1999 Matthias Ettrich and the LyX Team
 \lyxformat 2.15
 \textclass article
 \language default
@@ -113,7 +112,8 @@ Note that most of these packages will be available if you use a modern TeX
 \bar under 
 O
 \bar default 
-ptions->
+ptions\SpecialChar \menuseparator
+
 \bar under 
 R
 \bar default 
@@ -643,7 +643,12 @@ FTP: Currently, the IEEE ftp site only has an old version at:
 \newline 
 
 \family sans 
-ftp://ftp.ieee.org/info/publish/latex/ieeetran.cls
+
+\begin_inset LatexCommand \url{ftp://ftp.ieee.org/info/publish/latex/ieeetran.cls}
+
+\end_inset 
+
+
 \family default 
  
 \family sans 
@@ -655,7 +660,12 @@ A newer version is available from:
 \newline 
 
 \family sans 
-ftp://ftp.isi.edu/pub/graham/infocom99/latest/IEEEtran.cls
+
+\begin_inset LatexCommand \url{ftp://ftp.isi.edu/pub/graham/infocom99/latest/IEEEtran.cls}
+
+\end_inset 
+
+
 \layout Description
 
 Notes: The class
@@ -680,12 +690,21 @@ IEEEtran.sty
 \emph on 
 must
 \emph default 
- get the .cls file for use with LyX as the .sty file is for LaTeX 2.09 only.
+ get the 
+\family sans 
+.cls
+\family default 
+ file for use with LyX as the 
+\family sans 
+.sty
+\family default 
+ file is for LaTeX 2.09 only.
  Also note that if your 
 \family sans 
 ieeetran.cls
 \family default 
- is in lowercase like this example LyX will not find it.
+ is in lowercase like this example LyX will not find it and you should upgrade
+ to a newer version which has IEEE in capitals.
 \layout Subsection
 
 latex8

lib/layouts/IEEEtran.layout

@@ -2,13 +2,13 @@
 #  \DeclareLaTeXClass{article (IEEEtran)}
 # Based on Article textclass definition file. 
 #
-# Author : Allan Rae <rae@elec.uq.edu.au>
+# Author : Allan Rae <rae@lyx.org>
 #
 # IEEEtran is the class used for submitting to any of the IEEE Transactions.
 # The on-screen display in LyX is set to reflect the appearance of two column
 # text.  The section counters appear correctly in the output but are
 # in arabic numerals in LyX -- this requires some additional code in LyX
-# to get right (maybe LyX-1.0.1).
+# to get right (maybe LyX-2.0 ;-).
 #
 # IEEEtran.cls can be obtained from the www.ieee.org website -- look for
 # the author information area.  There is a LaTeX 2.09 IEEEtran.sty available
@@ -51,6 +51,240 @@ End
 ##
 Input stdlists.inc
 
+# 
+# First cut at theorem environment support.
+# What other theorem-like environments are needed?
+# How many of these should be discarded?
+# I got this list from amsmaths*.inc but I haven't
+# found an official list of theorem environments for
+# IEEE Transactions.
+# OH!  and all theorems are numbered.  Is that a problem?
+# Tell me:  rae@lyx.org
+#
+# Theorem-numbered style *Template* declaration
+Style TheoremTemplate
+  Margin		First_Dynamic
+  LatexType		Environment
+  LabelSep		M
+  ParIndent		MM
+  ParSep		0.4
+  Align			Block
+  AlignPossible		Block, Left
+  LabelType		Static
+
+  # label font definition
+  LabelFont
+    Shape		Italic
+  EndFont
+End
+
+# Proof style declaration
+Style Proof
+  CopyStyle		TheoremTemplate
+  LatexName		proof
+  LabelString		"Proof:"
+End
+
+# Theorem-numbered style declaration
+Style Theorem
+  CopyStyle		TheoremTemplate
+  LatexName		thm
+  LabelString		"Theorem #:"
+
+  Preamble
+    \newtheorem{thm}{Theorem}
+  EndPreamble
+End  
+
+# Lemma-numbered style declaration
+Style Lemma
+  CopyStyle		TheoremTemplate
+  LatexName		lemma
+  LabelString		"Lemma #:"
+
+  Preamble
+    \newtheorem{lemma}{Lemma}
+  EndPreamble
+End  
+
+# Corollary-numbered style declaration
+Style Corollary
+  CopyStyle		TheoremTemplate
+  LatexName	        cor
+  LabelString		"Corollary #:"
+
+  Preamble
+    \newtheorem{cor}{Corollary}
+  EndPreamble
+End
+
+# Proposition-numbered style declaration
+Style Proposition
+  CopyStyle		TheoremTemplate
+  LatexName		prop
+  LabelString		"Proposition #:"
+
+  Preamble
+    \newtheorem{prop}{Proposition}
+  EndPreamble
+End  
+
+# Conjecture-numbered style declaration
+Style Conjecture
+  CopyStyle		TheoremTemplate
+  LatexName		conject
+  LabelString		"Conjecture #:"
+
+  Preamble
+    \newtheorem{conject}{Conjecture}
+  EndPreamble
+End  
+
+# Criterion-numbered style declaration
+Style Criterion
+  CopyStyle		TheoremTemplate
+  LatexName		criter
+  LabelString		"Criterion #:"
+
+  Preamble
+    \newtheorem{criter}{Criterion}
+  EndPreamble
+End  
+
+# Fact-numbered style declaration
+Style Fact
+  CopyStyle		TheoremTemplate
+  LatexName		fact
+  LabelString		"Fact #:"
+
+  Preamble
+    \newtheorem{fact}{Fact}
+  EndPreamble
+End  
+
+# Axiom-numbered style declaration
+Style Axiom
+  CopyStyle		TheoremTemplate
+  LatexName		axi
+  LabelString		"Axiom #:"
+
+  Preamble
+    \newtheorem{axi}{Axiom}
+  EndPreamble
+End  
+
+# Definition-numbered style declaration
+Style Definition
+  CopyStyle		TheoremTemplate
+  LatexName		definitn
+  LabelString		"Definition #:"
+
+  Preamble
+    \newtheorem{definitn}{Definition}
+  EndPreamble
+End
+
+# Example-numbered style declaration
+Style Example
+  CopyStyle		TheoremTemplate
+  LatexName		example
+  LabelString		"Example #:"
+
+  Preamble
+    \newtheorem{example}{Example}
+  EndPreamble
+End
+
+# Condition-numbered style declaration
+Style Condition
+  CopyStyle		TheoremTemplate
+  LatexName		condition
+  LabelString		"Condition #:"
+
+  Preamble
+    \newtheorem{condition}{Condition}
+  EndPreamble
+End
+
+# Problem-numbered style declaration
+Style Problem
+  CopyStyle		TheoremTemplate
+  LatexName		problem
+  LabelString		"Problem #:"
+
+  Preamble
+    \newtheorem{problem}{Problem}
+  EndPreamble
+End
+
+# Exercise-numbered style declaration
+Style Exercise
+  CopyStyle		TheoremTemplate
+  LatexName		exacise
+  LabelString		"Exercise #:"
+
+  Preamble
+    \newtheorem{exacise}{Exercise}
+  EndPreamble
+End
+
+# Remark-numbered style declaration
+Style Remark
+  CopyStyle		TheoremTemplate
+  LatexName		remrk
+  LabelString		"Remark #:"
+
+  Preamble
+    \newtheorem{remrk}{Remark}
+  EndPreamble
+End
+
+# Claim-numbered style declaration
+Style Claim
+  CopyStyle		TheoremTemplate
+  LatexName		claim
+  LabelString		"Claim #:"
+
+  Preamble
+    \newtheorem{claim}{Claim}
+  EndPreamble
+End
+
+# Note-numbered style declaration
+Style Note
+  CopyStyle		TheoremTemplate
+  LatexName		note
+  LabelString		"Note #:"
+
+  Preamble
+    \newtheorem{note}{Note}
+  EndPreamble
+End
+
+# Notation-numbered style declaration
+Style Notation
+  CopyStyle		TheoremTemplate
+  LatexName		notation
+  LabelString		"Notation #:"
+
+  Preamble
+    \newtheorem{notation}{Notation}
+  EndPreamble
+End
+
+# Case-numbered style declaration
+Style Case
+  CopyStyle		TheoremTemplate
+  LatexName		case
+  LabelString		"Case #:"
+
+  Preamble
+    \newtheorem{case}{Case}
+  EndPreamble
+End
+
+NoStyle TheoremTemplate
+
 ##
 ## stdsections and stdstarsections
 ##
@@ -222,6 +456,16 @@ Style Appendices
   EndFont
 End
 
+Style Biography
+  LaTeXType		Environment
+  LaTeXName		biography
+  Align			Block
+  AlignPossible		Block
+  TextFont
+    Size		Small
+  EndFont
+End
+
 ##
 ##  stdlayouts
 ##
@@ -255,6 +499,14 @@ Style Footernote
     Size                Small
   EndFont
 End
+
+Style MarkBoth
+  LaTeXType		Command
+  LaTeXName		markboth
+  Align			Center
+  AlignPossible		Center
+End
+
 ##
 ## Others
 ##

lib/templates/IEEEtran.lyx

@@ -1,12 +1,12 @@
-#This file was created by <rae> Mon Dec 20 11:59:31 1999
+#LyX 1.1 created this file. For more info see http://www.lyx.org/
-#LyX 1.0 (C) 1995-1999 Matthias Ettrich and the LyX Team
 \lyxformat 2.15
 \textclass IEEEtran
-\language english
+\language default
 \inputencoding default
 \fontscheme default
 \graphics default
-\paperfontsize 10
+\float_placement hbt
+\paperfontsize default
 \spacing single 
 \papersize Default
 \paperpackage a4
@@ -20,12 +20,12 @@
 \quotes_language english
 \quotes_times 2
 \papercolumns 2
-\papersides 2
+\papersides 1
-\paperpagestyle empty
+\paperpagestyle default
 
 \layout Title
 
-Your Title
+Your Title: And maybe a bit extra
 \layout Author
 
 
@@ -43,11 +43,6 @@ Your name is with xyz Department\SpecialChar \ldots{}
 
 \latex latex 
 }
-\layout LaTeX
-
-
-\backslash 
-thispagestyle{empty}
 \layout Abstract
 
 This paper presents a simple template for IEEEtran documents.
@@ -55,6 +50,13 @@ This paper presents a simple template for IEEEtran documents.
 \layout Keywords
 
 simplicity, beauty, elegance
+\layout MarkBoth
+
+This is for left pages
+\latex latex 
+}{
+\latex default 
+and this is for right pages
 \layout Section
 
 Introduction
@@ -86,9 +88,72 @@ This is only a template remember.
 \layout Section
 
 Methodology
+\layout Theorem
+
+
+\latex latex 
+[
+\latex default 
+Theorem name
+\latex latex 
+]
+\latex default 
+ For a named theorem or theorem-like environment you need to use a little
+ evil red text (LaTeX mode) around the name.
+\layout Lemma
+
+If you don't want a theorem or lemma name don't add one.
+\layout Proof
+
+And here's the proof!
 \layout Section
 
 Results
+\layout Standard
+
+\begin_float fig 
+\layout Standard
+\align center 
+
+\family sans 
+A single column figure goes here
+\layout Caption
+
+Captions go 
+\emph on 
+under
+\emph default 
+ the figure
+\end_float 
+\begin_float tab 
+\layout Caption
+
+Table captions go 
+\emph on 
+above
+\emph default 
+ the table
+\layout Standard
+\align center \LyXTable
+multicol5
+2 2 0 0 -1 -1 -1 -1
+1 1 0 0
+1 1 0 0
+8 1 0 "" ""
+8 1 1 "" ""
+0 8 1 0 0 0 0 "" ""
+0 8 1 0 0 0 0 "" ""
+0 8 1 0 0 0 0 "" ""
+0 8 1 0 0 0 0 "" ""
+
+delete
+\newline 
+this
+\newline 
+example
+\newline 
+table
+\end_float 
 \layout Section
 
 Conclusions
@@ -97,25 +162,47 @@ Conclusions
 
 \begin_inset Info Change this paragraphs style to 'Standard' to enable
 BibTeX bibliography generation.
+
+Remember though that your final submission is supposed to have
+all the bibliography entries embedded in the latex file.  This means
+you eventually have to copy the .bbl file into the latex file and
+remove the bibtex lines.
 \end_inset 
 
 
-\begin_inset LatexCommand \BibTeX[IEEEbib]{biblio}
+\begin_inset LatexCommand \BibTeX[IEEEbib]{your_biblio_file}
 
 \end_inset 
 
 
+\layout Biography
+
+
+\latex latex 
+{
+\latex default 
+Your Name
+\latex latex 
+}
+\latex default 
+ All about you and the what your interests are.
+ Don't forget to put your name in between a pair of {}'s that are set as
+ raw TeX.
 \layout LaTeX
 
+% This LaTeX comment is needed to force LyX to generate two separate environment
+s
+\newline 
 
-\backslash 
+\layout Biography
-begin{biography}{Your Name}
-\layout Standard
-
-All about you.
-\layout LaTeX
 
 
-\backslash 
+\latex latex 
-end{biography}
+{
+\latex default 
+Coauthor
+\latex latex 
+} 
+\latex default 
+Same again for the co-author.
 \the_end