Message-Id: <9107292038.AA00316@panther.cs.uidaho.edu>
To: info-hol@edu.uidaho.cs.ted
Cc: Connie <connie@edu.uidaho.cs.ted>
Subject: latex macros that IEEE didn't send
Date: Mon, 29 Jul 91 13:38:12 PDT
From: Phil Windley <windley@edu.uidaho.cs.panther>


Hi,


For those of you writing papers for the HOL 91 Workshop proceedings:


You undoubtably got a letter saying that IEEE macros for LaTeX were
included.  They weren't; they never are---IEEE just likes to confuse
people.

The IEEE stuff is out of our hands at this point, so if you have questions
about the paper format, contact IEEE directly.

That said, I happen to have a set of the IEEE LaTeX macros, so I'll include
them at the end of this message for those of you inclined to use them.
IEEE sent parts of them to me a year or so ago at my request for another
conference I was writing for.  The rest I glommed together.

Store the macros in a file called iee.sty and use with the folloing
document style:

    \documentstyle[twocolumn,ieee]{article}

Good luck!

--phil--

Phil Windley                          |  windley@cs.uidaho.edu
Program Chair                         |  windley@cheetah.cs.uidaho.edu
1991 HOL Conference                   |
Department of Computer Science        |
University of Idaho                   |  Phone: 208.885.6501
Moscow, ID 83843                      |  Fax:   208.885.6645

%--------------------------- IEEE LaTeX Macros --------------------------
%
% ieee.sty --- style file for IEEE format
%
% use with two--column mode in article style.
%

% make section headings  print out centered in column
\def\section{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus
-.2ex}{2.3ex plus .2ex}{\Large\bf\centering}}

% no page numbers
\pagestyle{empty}
\setlength{\unitlength}{1in}           % unit of length = 1in
\setlength{\baselineskip}{16pt}        % line spacing = 16pt

\setlength{\textwidth}{7.0truein}
\setlength{\textheight}{9.625truein}
\setlength{\columnsep}{2pc}
\setlength{\footheight}{0.0in}
\setlength{\topmargin}{-.875truein}
\setlength{\parskip}{.125in}

%
% these will vary depending on your printer and dvi2XX converter.
%
\setlength{\oddsidemargin}{-.325in}
\setlength{\evensidemargin}{-.325in}

% ----------------------- end of macros --------------------------------