]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/system_T/latex8.sty
removed papers dir, now all papers are in the new "papers" repository
[helm.git] / helm / papers / system_T / latex8.sty
diff --git a/helm/papers/system_T/latex8.sty b/helm/papers/system_T/latex8.sty
deleted file mode 100644 (file)
index 531053a..0000000
+++ /dev/null
@@ -1,169 +0,0 @@
-\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