]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/system_T/latex8.sty
ported to the IEEE latex8 style
[helm.git] / helm / papers / system_T / latex8.sty
diff --git a/helm/papers/system_T/latex8.sty b/helm/papers/system_T/latex8.sty
new file mode 100644 (file)
index 0000000..531053a
--- /dev/null
@@ -0,0 +1,169 @@
+\r
+% --------------------------------------------------------------- \r
+%\r
+% $Id: latex8.sty,v 1.2 1995/09/15 15:31:13 ienne Exp $\r
+% \r
+% by Paolo.Ienne@di.epfl.ch \r
+%\r
+% --------------------------------------------------------------- \r
+%\r
+% no guarantee is given that the format corresponds perfectly to \r
+% IEEE 8.5" x 11" Proceedings, but most features should be ok.\r
+%\r
+% --------------------------------------------------------------- \r
+% with LaTeX2e:\r
+% =============\r
+%\r
+% use as \r
+%   \documentclass[times,10pt,twocolumn]{article} \r
+%   \usepackage{latex8}\r
+%   \usepackage{times}\r
+%\r
+% --------------------------------------------------------------- \r
+\r
+% with LaTeX 2.09:\r
+% ================\r
+%\r
+% use as \r
+%   \documentstyle[times,art10,twocolumn,latex8]{article}\r
+%\r
+% --------------------------------------------------------------- \r
+% with both versions:\r
+% ===================\r
+%\r
+% specify \pagestyle{empty} to omit page numbers in the final \r
+% version\r
+%\r
+% specify references as\r
+%   \bibliographystyle{latex8}\r
+%   \bibliography{...your files...}\r
+%\r
+% use Section{} and SubSection{} instead of standard section{} \r
+%    and subsection{} to obtain headings in the form \r
+%    "1.3. My heading"\r
+%\r
+% ---------------------------------------------------------------\r
+\r
+\typeout{IEEE 8.5 x 11-Inch Proceedings Style `latex8.sty'.}\r
+\r
+% ten point helvetica bold required for captions\r
+% in some sites the name of the helvetica bold font may differ, \r
+% change the name here:\r
+\font\tenhv  = phvb at 10pt\r
+%\font\tenhv  = phvb7t at 10pt\r
+\r
+% eleven point times bold required for second-order headings \r
+% \font\elvbf  = cmbx10 scaled 1100\r
+\font\elvbf  = ptmb scaled 1100\r
+\r
+% set dimensions of columns, gap between columns, and paragraph indent \r
+\setlength{\textheight}{8.875in}\r
+\setlength{\textwidth}{6.875in}\r
+\setlength{\columnsep}{0.3125in}\r
+\setlength{\topmargin}{0in}\r
+\setlength{\headheight}{0in}\r
+\setlength{\headsep}{0in}\r
+\setlength{\parindent}{1pc}\r
+\setlength{\oddsidemargin}{-.304in}\r
+\setlength{\evensidemargin}{-.304in}\r
+\r
+% memento from size10.clo\r
+% \normalsize{\@setfontsize\normalsize\@xpt\@xiipt} \r
+% \small{\@setfontsize\small\@ixpt{11}}\r
+% \footnotesize{\@setfontsize\footnotesize\@viiipt{9.5}} \r
+% \scriptsize{\@setfontsize\scriptsize\@viipt\@viiipt}\r
+% \tiny{\@setfontsize\tiny\@vpt\@vipt}\r
+% \large{\@setfontsize\large\@xiipt{14}} \r
+% \Large{\@setfontsize\Large\@xivpt{18}} \r
+% \LARGE{\@setfontsize\LARGE\@xviipt{22}} \r
+% \huge{\@setfontsize\huge\@xxpt{25}}\r
+% \Huge{\@setfontsize\Huge\@xxvpt{30}}\r
+\r
+\def\@maketitle\r
+   {\r
+   \newpage\r
+   \null\r
+   \vskip .375in \r
+   \begin{center}\r
+      {\Large \bf \@title \par} \r
+      % additional two empty lines at the end of the title \r
+      \vspace*{24pt} \r
+      {\r
+      \large \r
+      \lineskip .5em\r
+      \begin{tabular}[t]{c}\r
+         \@author \r
+      \end{tabular}\r
+      \par\r
+      } \r
+      % additional small space at the end of the author name \r
+      \vskip .5em \r
+      {\r
+       \large \r
+      \begin{tabular}[t]{c}\r
+         \@affiliation \r
+      \end{tabular}\r
+      \par \r
+      \ifx \@empty \@email\r
+      \else\r
+         \begin{tabular}{r@{~}l}\r
+            E-mail: & {\tt \@email}\r
+         \end{tabular}\r
+         \par\r
+      \fi\r
+      }\r
+      % additional empty line at the end of the title block \r
+      \vspace*{12pt} \r
+   \end{center}\r
+   } \r
+\r
+\def\abstract\r
+   {%\r
+   \centerline{\large\bf Abstract}%\r
+   \vspace*{12pt}%\r
+   \it%\r
+   }\r
+\r
+\def\endabstract\r
+   {\r
+   % additional empty line at the end of the abstract \r
+   \vspace*{12pt} \r
+   }\r
+\r
+\def\affiliation#1{\gdef\@affiliation{#1}} \gdef\@affiliation{}\r
+\r
+\def\email#1{\gdef\@email{#1}}\r
+\gdef\@email{}\r
+\r
+\newlength{\@ctmp}\r
+\newlength{\@figindent}\r
+\setlength{\@figindent}{1pc}\r
+\r
+\long\def\@makecaption#1#2{\r
+   \vskip 10pt\r
+   \setbox\@tempboxa\hbox{\tenhv\noindent #1.~#2} \r
+   \setlength{\@ctmp}{\hsize}\r
+   \addtolength{\@ctmp}{-\@figindent}\addtolength{\@ctmp}{-\@figindent} \r
+   % IF longer than one indented paragraph line\r
+   \ifdim \wd\@tempboxa >\@ctmp\r
+      % THEN set as an indented paragraph\r
+      \begin{list}{}{\leftmargin\@figindent \rightmargin\leftmargin} \r
+         \item[]\tenhv #1.~#2\par\r
+      \end{list}\r
+   \else\r
+      % ELSE center\r
+      \hbox to\hsize{\hfil\box\@tempboxa\hfil} \r
+   \fi}\r
+\r
+% correct heading spacing and type\r
+\def\section{\@startsection {section}{1}{\z@}\r
+   {14pt plus 2pt minus 2pt}{14pt plus 2pt minus 2pt} {\large\bf}} \r
+\def\subsection{\@startsection {subsection}{2}{\z@}\r
+   {13pt plus 2pt minus 2pt}{13pt plus 2pt minus 2pt} {\elvbf}}\r
+\r
+% add the period after section numbers \r
+\newcommand{\Section}[1]{\section{\hskip -1em.~#1}} \r
+\newcommand{\SubSection}[1]{\subsection{\hskip -1em.~#1}}\r
+\r
+% end of file latex8.sty\r
+% ---------------------------------------------------------------\r