]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/system_T/latex8.sty
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / system_T / latex8.sty
1 \r
2 % --------------------------------------------------------------- \r
3 %\r
4 % $Id: latex8.sty,v 1.2 1995/09/15 15:31:13 ienne Exp $\r
5\r
6 % by Paolo.Ienne@di.epfl.ch \r
7 %\r
8 % --------------------------------------------------------------- \r
9 %\r
10 % no guarantee is given that the format corresponds perfectly to \r
11 % IEEE 8.5" x 11" Proceedings, but most features should be ok.\r
12 %\r
13 % --------------------------------------------------------------- \r
14 % with LaTeX2e:\r
15 % =============\r
16 %\r
17 % use as \r
18 %   \documentclass[times,10pt,twocolumn]{article} \r
19 %   \usepackage{latex8}\r
20 %   \usepackage{times}\r
21 %\r
22 % --------------------------------------------------------------- \r
23 \r
24 % with LaTeX 2.09:\r
25 % ================\r
26 %\r
27 % use as \r
28 %   \documentstyle[times,art10,twocolumn,latex8]{article}\r
29 %\r
30 % --------------------------------------------------------------- \r
31 % with both versions:\r
32 % ===================\r
33 %\r
34 % specify \pagestyle{empty} to omit page numbers in the final \r
35 % version\r
36 %\r
37 % specify references as\r
38 %   \bibliographystyle{latex8}\r
39 %   \bibliography{...your files...}\r
40 %\r
41 % use Section{} and SubSection{} instead of standard section{} \r
42 %    and subsection{} to obtain headings in the form \r
43 %    "1.3. My heading"\r
44 %\r
45 % ---------------------------------------------------------------\r
46 \r
47 \typeout{IEEE 8.5 x 11-Inch Proceedings Style `latex8.sty'.}\r
48 \r
49 % ten point helvetica bold required for captions\r
50 % in some sites the name of the helvetica bold font may differ, \r
51 % change the name here:\r
52 \font\tenhv  = phvb at 10pt\r
53 %\font\tenhv  = phvb7t at 10pt\r
54 \r
55 % eleven point times bold required for second-order headings \r
56 % \font\elvbf  = cmbx10 scaled 1100\r
57 \font\elvbf  = ptmb scaled 1100\r
58 \r
59 % set dimensions of columns, gap between columns, and paragraph indent \r
60 \setlength{\textheight}{8.875in}\r
61 \setlength{\textwidth}{6.875in}\r
62 \setlength{\columnsep}{0.3125in}\r
63 \setlength{\topmargin}{0in}\r
64 \setlength{\headheight}{0in}\r
65 \setlength{\headsep}{0in}\r
66 \setlength{\parindent}{1pc}\r
67 \setlength{\oddsidemargin}{-.304in}\r
68 \setlength{\evensidemargin}{-.304in}\r
69 \r
70 % memento from size10.clo\r
71 % \normalsize{\@setfontsize\normalsize\@xpt\@xiipt} \r
72 % \small{\@setfontsize\small\@ixpt{11}}\r
73 % \footnotesize{\@setfontsize\footnotesize\@viiipt{9.5}} \r
74 % \scriptsize{\@setfontsize\scriptsize\@viipt\@viiipt}\r
75 % \tiny{\@setfontsize\tiny\@vpt\@vipt}\r
76 % \large{\@setfontsize\large\@xiipt{14}} \r
77 % \Large{\@setfontsize\Large\@xivpt{18}} \r
78 % \LARGE{\@setfontsize\LARGE\@xviipt{22}} \r
79 % \huge{\@setfontsize\huge\@xxpt{25}}\r
80 % \Huge{\@setfontsize\Huge\@xxvpt{30}}\r
81 \r
82 \def\@maketitle\r
83    {\r
84    \newpage\r
85    \null\r
86    \vskip .375in \r
87    \begin{center}\r
88       {\Large \bf \@title \par} \r
89       % additional two empty lines at the end of the title \r
90       \vspace*{24pt} \r
91       {\r
92       \large \r
93       \lineskip .5em\r
94       \begin{tabular}[t]{c}\r
95          \@author \r
96       \end{tabular}\r
97       \par\r
98       } \r
99       % additional small space at the end of the author name \r
100       \vskip .5em \r
101       {\r
102        \large \r
103       \begin{tabular}[t]{c}\r
104          \@affiliation \r
105       \end{tabular}\r
106       \par \r
107       \ifx \@empty \@email\r
108       \else\r
109          \begin{tabular}{r@{~}l}\r
110             E-mail: & {\tt \@email}\r
111          \end{tabular}\r
112          \par\r
113       \fi\r
114       }\r
115       % additional empty line at the end of the title block \r
116       \vspace*{12pt} \r
117    \end{center}\r
118    } \r
119 \r
120 \def\abstract\r
121    {%\r
122    \centerline{\large\bf Abstract}%\r
123    \vspace*{12pt}%\r
124    \it%\r
125    }\r
126 \r
127 \def\endabstract\r
128    {\r
129    % additional empty line at the end of the abstract \r
130    \vspace*{12pt} \r
131    }\r
132 \r
133 \def\affiliation#1{\gdef\@affiliation{#1}} \gdef\@affiliation{}\r
134 \r
135 \def\email#1{\gdef\@email{#1}}\r
136 \gdef\@email{}\r
137 \r
138 \newlength{\@ctmp}\r
139 \newlength{\@figindent}\r
140 \setlength{\@figindent}{1pc}\r
141 \r
142 \long\def\@makecaption#1#2{\r
143    \vskip 10pt\r
144    \setbox\@tempboxa\hbox{\tenhv\noindent #1.~#2} \r
145    \setlength{\@ctmp}{\hsize}\r
146    \addtolength{\@ctmp}{-\@figindent}\addtolength{\@ctmp}{-\@figindent} \r
147    % IF longer than one indented paragraph line\r
148    \ifdim \wd\@tempboxa >\@ctmp\r
149       % THEN set as an indented paragraph\r
150       \begin{list}{}{\leftmargin\@figindent \rightmargin\leftmargin} \r
151          \item[]\tenhv #1.~#2\par\r
152       \end{list}\r
153    \else\r
154       % ELSE center\r
155       \hbox to\hsize{\hfil\box\@tempboxa\hfil} \r
156    \fi}\r
157 \r
158 % correct heading spacing and type\r
159 \def\section{\@startsection {section}{1}{\z@}\r
160    {14pt plus 2pt minus 2pt}{14pt plus 2pt minus 2pt} {\large\bf}} \r
161 \def\subsection{\@startsection {subsection}{2}{\z@}\r
162    {13pt plus 2pt minus 2pt}{13pt plus 2pt minus 2pt} {\elvbf}}\r
163 \r
164 % add the period after section numbers \r
165 \newcommand{\Section}[1]{\section{\hskip -1em.~#1}} \r
166 \newcommand{\SubSection}[1]{\subsection{\hskip -1em.~#1}}\r
167 \r
168 % end of file latex8.sty\r
169 % ---------------------------------------------------------------\r