author | Christian Urban <urbanc@in.tum.de> |
Wed, 03 Mar 2010 11:50:25 +0100 | |
changeset 1327 | 670701b19e8e |
permissions | -rw-r--r-- |
1327
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
% ACMCONF DOCUMENT STYLE - Updated 17 August 1995. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
% This is a patched version of the 5 April 1993 release. No stylistic changes |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
4 |
% have been made; it should produce output identical to the 1993 release if |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
5 |
% that release worked properly on your system. A LaTeX2e patch has been added |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
6 |
% for systems having problems with the section header font. There is also a |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
7 |
% macro for producing an ACM copyright notice and a box with reprint info. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
8 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
9 |
% If you get an error message similar to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
10 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
11 |
% ! Undefined control sequence. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
12 |
% l.165 \font\ninsfb = cmssbx10\@ptscale |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
13 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
14 |
% then see the comments beginning on line 173 (look for "DIAGNOSTICS"). |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
15 |
%----------------------------------------------------------------------- |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
16 |
% Modification of Traub/Shivers version by Kevin Theobald, McGill |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
17 |
% University. New version has automatic copyright space, option |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
18 |
% for box around "to appear" entry, and style option to indent |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
19 |
% first paragraph after subheadings. Released 5 April 1993. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
20 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
21 |
% To use: install in reachable directory (one contained in TEXINPUTS |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
22 |
% environment variable); use \documentstyle[<options>]{acmconf} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
23 |
%----------------------------------------------------------------------- |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
24 |
% adapted from ARTICLE document style by Ken Traub |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
25 |
% Hacked for [preprint] option by Olin Shivers 4/91 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
26 |
% ARTICLE DOCUMENT STYLE -- Released 16 March 1988 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
27 |
% for LaTeX version 2.09 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
28 |
% Copyright (C) 1988 by Leslie Lamport |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
29 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
30 |
%%% ACMCONF is a document style for producing two-column camera-ready pages for |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
31 |
%%% ACM conferences, according to ACM specifications. The main features of |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
32 |
%%% this style are: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
33 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
34 |
%%% 1) Two columns. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
35 |
%%% 2) Side and top margins of 4.5pc, bottom margin of 6pc, column gutter of |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
36 |
%%% 2pc, hence columns are 20pc wide and 55.5pc tall. (6pc = 1in, approx) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
37 |
%%% 3) First page has title information, and an extra 6pc of space at the |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
38 |
%%% bottom of the first column for the ACM copyright notice. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
39 |
%%% 4) Text is 9pt on 10pt baselines; titles (except main) are 9pt bold. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
40 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
41 |
%%% This document style supports a [preprint] style option that allows |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
42 |
%%% you to run off a copy for a preprint -- with page numbers, "to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
43 |
%%% appear" information, and so forth. This is documented below. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
44 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
45 |
%%% This document style also supports a [secindent] style option which |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
46 |
%%% causes paragraphs following (sub)section heads to be indented like |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
47 |
%%% the others. (Added by KBT) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
48 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
49 |
%%% Finally, the macro \acmcopy{y} (y is year, e.g., 1995) prints the text of |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
50 |
%%% an ACM copyright notice. This is useful for making a copy of the paper on |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
51 |
%%% the author's FTP site (ACM requires a copyright notice). (Added by KBT) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
52 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
53 |
%%% There are a few restrictions you must observe: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
54 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
55 |
%%% 1) You cannot change the font size; ACM wants you to use 9pt. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
56 |
%%% 3) You must start your paper with the \maketitle command. Prior to the |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
57 |
%%% \maketitle you must have \title and \author commands. If you have a |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
58 |
%%% \date command it will be ignored; no date appears on the paper, since |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
59 |
%%% the proceedings will have a date on the front cover. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
60 |
%%% 4) Marginal paragraphs, tables of contents, lists of figures and tables, |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
61 |
%%% and page headings are all forbidden. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
62 |
%%% 5) The `figure' environment will produce a figure one column wide; if you |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
63 |
%%% want one that is two columns wide, use `figure*'. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
64 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
65 |
%%% Page Headings: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
66 |
%%% Normally, \pagestyle commands are ignored --- pages have no headings or |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
67 |
%%% numbers. ACM will number the pages for you when they are inserted into the |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
68 |
%%% proceedings (you should put page numbers on the BACK of each page, in |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
69 |
%%% light pencil, in case someone drops your paper on the floor). |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
70 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
71 |
%%% If the [preprint] option is present, then \pagestyle commands are obeyed, |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
72 |
%%% and the default is \pagestyle{plain}. All pages (including the first) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
73 |
%%% are numbered. (This is useful if you want to make a reprint version |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
74 |
%%% of your paper, with page numbering identical to the conference |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
75 |
%%% proceedings. In such a case, you may need to insert the command |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
76 |
%%% \setcounter{page}{...} before \maketitle.) The [twoside] option is |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
77 |
%%% also useful when using headers. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
78 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
79 |
%%% Copyright Space: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
80 |
%%% This style automatically leaves 1" blank space at the bottom of page 1/ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
81 |
%%% column 1. This space can optionally be filled with some text using the |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
82 |
%%% \toappear{...} command. If used, this command must be BEFORE the \maketitle |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
83 |
%%% command. If this command is defined AND [preprint] is on, then the |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
84 |
%%% space is filled with the {...} text (at the bottom); otherwise, it is |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
85 |
%%% blank. If you use \toappearbox{...} instead of \toappear{...} then a |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
86 |
%%% box will be drawn around the text (if [preprint] is on). |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
87 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
88 |
%%% A typical usage looks like this: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
89 |
%%% \toappear{To appear in the Ninth AES Conference on Medievil Lithuanian |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
90 |
%%% Embalming Technique, June 1991, Alfaretta, Georgia.} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
91 |
%%% This will be included in the preprint, and left out of the conference |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
92 |
%%% version. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
93 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
94 |
%%% Acmconf defines two useful conditionals. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
95 |
%%% - \ifacmconf{true-stuff}{false-stuff} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
96 |
%%% expands to true-stuff. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
97 |
%%% - \ifpreprint true-stuff \else else-stuff \fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
98 |
%%% expands to true-stuff if the [preprint] option is being used, |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
99 |
%%% otherwise it expands to else-stuff. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
100 |
%%% \ifacmconf is a latex command; \ifpreprint is a real latex conditional. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
101 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
102 |
%%% WARNING: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
103 |
%%% Some dvi-ps converters heuristically allow chars to drift from their |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
104 |
%%% true positions a few pixels. This loses noticeably with the 9pt sans-serif |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
105 |
%%% bold font used for section headers. You turn this hackery off in our |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
106 |
%%% dvi-ps converters with the -e option: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
107 |
%%% dvips -e 0 foo.dvi >foo.ps |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
108 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
109 |
\typeout{Document Style `acmconf' <22 May 89>. Hacked 4/91 by} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
110 |
\typeout{ shivers@cs.cmu.edu, 4/93 by theobald@cs.mcgill.ca} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
111 |
\typeout{Bugs to theobald@cs.mcgill.ca} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
112 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
113 |
\def\acmcopy#1{Copyright \copyright {#1} by the Association for Computing |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
114 |
Machinery, Inc. Permission to make digital or hard copies of part or all of |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
115 |
this work for personal or classroom use is granted without fee provided that |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
116 |
copies are not made or distributed for profit or direct commercial advantage |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
117 |
and that copies bear this notice and the full citation on the first page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
118 |
Copyrights for components of this work owned by others than ACM must be |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
119 |
honored. Abstracting with credit is permitted. To copy otherwise, to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
120 |
republish, to post on servers, or to redistribute to lists, requires prior |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
121 |
specific permission and/or a fee. Request permissions from Publications |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
122 |
Dept., ACM Inc., fax +1 (212) 869-0481, or (permissions@acm.org).} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
123 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
124 |
\newif\if@acmconf\@acmconftrue |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
125 |
\long\def\ifacmconf#1#2{\if@acmconf#1\else#2\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
126 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
127 |
\newif\ifpreprint |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
128 |
\def\ds@preprint{\preprinttrue} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
129 |
\def\ds@twoside{\@twosidetrue \@mparswitchtrue} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
130 |
\def\ds@secindent{\def\@afterindentfalse{\@afterindenttrue}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
131 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
132 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
133 |
% The following macro added 8/17/95 by KBT. Use to make box above title with |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
134 |
% name of proceedings and/or copyright notice. This box is created only if |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
135 |
% [preprint] is on. Use: \coverbox{vert. pos.}{horiz. pos.}{box width}{text} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
136 |
% Creates box with officially zero dimension, so does not affect layout. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
137 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
138 |
\def\coverbox#1#2#3#4{\ifpreprint{\makebox[0pt][l]{\raisebox{#1}[0pt][0pt]{\hspace*{#2}\fbox{\parbox{#3}{#4}}}}}\else{}\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
139 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
140 |
\@namedef{ds@10pt}{\@latexerr{The `10pt' option is not allowed in the `acmconf' |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
141 |
document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
142 |
\@namedef{ds@11pt}{\@latexerr{The `11pt' option is not allowed in the `acmconf' |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
143 |
document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
144 |
\@namedef{ds@12pt}{\@latexerr{The `12pt' option is not allowed in the `acmconf' |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
145 |
document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
146 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
147 |
\@options |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
148 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
149 |
\lineskip 1pt % \lineskip is 1pt for all font sizes. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
150 |
\normallineskip 1pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
151 |
\def\baselinestretch{1} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
152 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
153 |
\def\@normalsize{\@setsize\normalsize{10pt}\ixpt\@ixpt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
154 |
\abovedisplayskip 9pt plus2pt minus4.5pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
155 |
\belowdisplayskip \abovedisplayskip |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
156 |
\abovedisplayshortskip \z@ plus3pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
157 |
\belowdisplayshortskip 5.4pt plus3pt minus3pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
158 |
\let\@listi\@listI} % Setting of \@listi added 9 Jun 87 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
159 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
160 |
\def\small{\@setsize\small{9pt}\viiipt\@viiipt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
161 |
\abovedisplayskip 7.6pt plus 3pt minus 4pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
162 |
\belowdisplayskip \abovedisplayskip |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
163 |
\abovedisplayshortskip \z@ plus2pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
164 |
\belowdisplayshortskip 3.6pt plus2pt minus 2pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
165 |
\def\@listi{\leftmargin\leftmargini %% Added 22 Dec 87 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
166 |
\topsep 4pt plus 2pt minus 2pt\parsep 2pt plus 1pt minus 1pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
167 |
\itemsep \parsep}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
168 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
169 |
\def\footnotesize{\@setsize\footnotesize{8pt}\viipt\@viipt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
170 |
\abovedisplayskip 6.4pt plus 2pt minus 4pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
171 |
\belowdisplayskip \abovedisplayskip |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
172 |
\abovedisplayshortskip \z@ plus 1pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
173 |
\belowdisplayshortskip 2.7pt plus 1pt minus 2pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
174 |
\def\@listi{\leftmargin\leftmargini %% Added 22 Dec 87 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
175 |
\topsep 3pt plus 1pt minus 1pt\parsep 2pt plus 1pt minus 1pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
176 |
\itemsep \parsep}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
177 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
178 |
\def\scriptsize{\@setsize\scriptsize{8pt}\viipt\@viipt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
179 |
\def\tiny{\@setsize\tiny{6pt}\vpt\@vpt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
180 |
\def\large{\@setsize\large{13.6pt}\xipt\@xipt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
181 |
\def\Large{\@setsize\Large{16pt}\xiipt\@xiipt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
182 |
\def\LARGE{\@setsize\LARGE{18pt}\xivpt\@xivpt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
183 |
\def\huge{\@setsize\huge{22pt}\xviipt\@xviipt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
184 |
\def\Huge{\@setsize\Huge{25pt}\xxpt\@xxpt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
185 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
186 |
%%% Patch for LaTeX-2e (LaTeX 2.09 compatibility mode) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
187 |
%%% The line \font\ninsfb = cmssbx10\@ptscale9 is replaced by |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
188 |
\expandafter\ifx\csname fontseries\endcsname\relax |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
189 |
\font\ninsfb = cmssbx10\@ptscale9 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
190 |
\else |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
191 |
\def\ninsfb{\fontfamily{cmss}\fontseries{bx}\fontshape{n} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
192 |
\fontsize{9}{\f@baselineskip}\selectfont} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
193 |
\fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
194 |
%%% End patch for LaTeX-2e |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
195 |
\def\@acmtitlestyle{\normalsize\ninsfb} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
196 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
197 |
%%% DIAGNOSTICS: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
198 |
%%% The ten lines above (the patch and the \def\@acmtitlestyle command) will |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
199 |
%%% cause problems if your printer doesn't have the 9pt. bold sans-serif font. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
200 |
%%% If this is a problem, try commenting out those lines and uncommenting one |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
201 |
%%% of the following alternatives. (It is best to try them in order until |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
202 |
%%% finding one that works; the earlier alternatives cause less change.) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
203 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
204 |
%%% ALTERNATIVE 1: (works if your system has the same font in 10pt.) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
205 |
%%% \font\tensfb = cmssbx10 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
206 |
%%% \def\@acmtitlestyle{\normalsize\tensfb} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
207 |
%%% ALTERNATIVE 2: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
208 |
%%% \def\@acmtitlestyle{\normalsize\ninbf} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
209 |
%%% ALTERNATIVE 3: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
210 |
%%% \def\@acmtitlestyle{\normalsize\tenbf} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
211 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
212 |
\normalsize % Choose the normalsize font. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
213 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
214 |
\oddsidemargin 4.5pc |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
215 |
\evensidemargin 4.5pc |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
216 |
\advance\oddsidemargin by -1in % Correct for LaTeX gratuitousness |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
217 |
\advance\evensidemargin by -1in % Correct for LaTeX gratuitousness |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
218 |
\marginparwidth 0pt % Margin pars are not allowed. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
219 |
\marginparsep 11pt % Horizontal space between outer margin and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
220 |
% marginal note |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
221 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
222 |
% Top of page: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
223 |
\topmargin 4.5pc % Nominal distance from top of page to top of |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
224 |
% box containing running head. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
225 |
\advance\topmargin by -1in % Correct for LaTeX gratuitousness |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
226 |
\headheight 0pt % Height of box containing running head. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
227 |
\headsep 0pt % Space between running head and text. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
228 |
% Bottom of page: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
229 |
\footskip 30pt % Distance from baseline of box containing foot |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
230 |
% to baseline of last line of text. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
231 |
\footheight 12pt % Height of box containing running foot. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
232 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
233 |
%% Must redefine the top margin so there's room for headers and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
234 |
%% page numbers if you are using the preprint option. Footers |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
235 |
%% are OK as is. Olin. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
236 |
\advance\topmargin by -37pt % Leave 37pt above text for headers |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
237 |
\headheight 12pt % Height of box containing running head. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
238 |
\headsep 25pt % Space between running head and text. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
239 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
240 |
\textheight 666pt % 9 1/4 column height |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
241 |
\textwidth 42pc % Width of text line. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
242 |
% For two-column mode: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
243 |
\columnsep 2pc % Space between columns |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
244 |
\columnseprule 0pt % Width of rule between columns. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
245 |
\hfuzz 1pt % Allow some variation in column width, otherwise it's |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
246 |
% too hard to typeset in narrow columns. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
247 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
248 |
\footnotesep 5.6pt % Height of strut placed at the beginning of every |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
249 |
% footnote = height of normal \footnotesize strut, |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
250 |
% so no extra space between footnotes. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
251 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
252 |
\skip\footins 8.1pt plus 4pt minus 2pt % Space between last line of text and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
253 |
% top of first footnote. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
254 |
\floatsep 11pt plus 2pt minus 2pt % Space between adjacent floats moved |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
255 |
% to top or bottom of text page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
256 |
\textfloatsep 18pt plus 2pt minus 4pt % Space between main text and floats |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
257 |
% at top or bottom of page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
258 |
\intextsep 11pt plus 2pt minus 2pt % Space between in-text figures and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
259 |
% text. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
260 |
\@maxsep 18pt % The maximum of \floatsep, |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
261 |
% \textfloatsep and \intextsep (minus |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
262 |
% the stretch and shrink). |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
263 |
\dblfloatsep 11pt plus 2pt minus 2pt % Same as \floatsep for double-column |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
264 |
% figures in two-column mode. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
265 |
\dbltextfloatsep 18pt plus 2pt minus 4pt% \textfloatsep for double-column |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
266 |
% floats. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
267 |
\@dblmaxsep 18pt % The maximum of \dblfloatsep and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
268 |
% \dbltexfloatsep. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
269 |
\@fptop 0pt plus 1fil % Stretch at top of float page/column. (Must be |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
270 |
% 0pt plus ...) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
271 |
\@fpsep 8pt plus 2fil % Space between floats on float page/column. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
272 |
\@fpbot 0pt plus 1fil % Stretch at bottom of float page/column. (Must be |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
273 |
% 0pt plus ... ) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
274 |
\@dblfptop 0pt plus 1fil % Stretch at top of float page. (Must be 0pt plus ...) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
275 |
\@dblfpsep 8pt plus 2fil % Space between floats on float page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
276 |
\@dblfpbot 0pt plus 1fil % Stretch at bottom of float page. (Must be |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
277 |
% 0pt plus ... ) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
278 |
\marginparpush 5pt % Minimum vertical separation between two marginal |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
279 |
% notes. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
280 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
281 |
\parskip 0pt plus 1pt % Extra vertical space between paragraphs. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
282 |
\parindent 13.5pt % Width of paragraph indentation. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
283 |
%\topsep 8pt plus 2pt minus 4pt % Extra vertical space, in addition to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
284 |
% \parskip, added above and below list and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
285 |
% paragraphing environments. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
286 |
\partopsep 2pt plus 1pt minus 1pt% Extra vertical space, in addition to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
287 |
% \parskip and \topsep, added when user |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
288 |
% leaves blank line before environment. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
289 |
%\itemsep 4pt plus 2pt minus 1pt % Extra vertical space, in addition to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
290 |
% \parskip, added between list items. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
291 |
% See \@listI for values of \topsep and \itemsep |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
292 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
293 |
\@lowpenalty 51 % Produced by \nopagebreak[1] or \nolinebreak[1] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
294 |
\@medpenalty 151 % Produced by \nopagebreak[2] or \nolinebreak[2] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
295 |
\@highpenalty 301 % Produced by \nopagebreak[3] or \nolinebreak[3] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
296 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
297 |
\@beginparpenalty -\@lowpenalty % Before a list or paragraph environment. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
298 |
\@endparpenalty -\@lowpenalty % After a list or paragraph environment. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
299 |
\@itempenalty -\@lowpenalty % Between list items. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
300 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
301 |
% \clubpenalty % 'Club line' at bottom of page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
302 |
% \widowpenalty % 'Widow line' at top of page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
303 |
% \displaywidowpenalty % Math display widow line. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
304 |
% \predisplaypenalty % Breaking before a math display. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
305 |
% \postdisplaypenalty % Breaking after a math display. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
306 |
% \interlinepenalty % Breaking at a line within a paragraph. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
307 |
% \brokenpenalty % Breaking after a hyphenated line. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
308 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
309 |
\def\part{\par % New paragraph |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
310 |
\addvspace{4ex} % Adds vertical space above title. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
311 |
\@afterindentfalse % Suppresses indent in first paragraph. Change |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
312 |
\secdef\@part\@spart}% to \@afterindenttrue to have indent. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
313 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
314 |
\def\@part[#1]#2{\ifnum \c@secnumdepth >\m@ne % IF secnumdepth > -1 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
315 |
\refstepcounter{part} % THEN step part counter |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
316 |
\addcontentsline{toc}{part}{\thepart % add toc line |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
317 |
\hspace{1em}#1}\else % ELSE add unnumbered line |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
318 |
\addcontentsline{toc}{part}{#1}\fi % FI |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
319 |
{ \parindent 0pt \raggedright |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
320 |
\ifnum \c@secnumdepth >\m@ne% IF secnumdepth > -1 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
321 |
\Large \bf Part \thepart % THEN Print 'Part' and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
322 |
\par \nobreak % number in \Large boldface. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
323 |
\fi % FI |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
324 |
\huge \bf % Select \huge boldface. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
325 |
#2\markboth{}{}\par } % Print title and set heading marks null. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
326 |
\nobreak % TeX penalty to prevent page break. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
327 |
\vskip 3ex % Space between title and text. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
328 |
\@afterheading % Routine called after part and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
329 |
} % section heading. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
330 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
331 |
\def\@spart#1{{\parindent 0pt \raggedright |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
332 |
\huge \bf |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
333 |
#1\par} % Title. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
334 |
\nobreak % TeX penalty to prevent page break. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
335 |
\vskip 3ex % Space between title and text. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
336 |
\@afterheading % Routine called after part and |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
337 |
} % section heading. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
338 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
339 |
\def\section{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
340 |
-.2ex}{2.3ex plus .2ex}{\@acmtitlestyle}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
341 |
\def\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex plus -1ex minus |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
342 |
-.2ex}{1.5ex plus .2ex}{\@acmtitlestyle}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
343 |
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
344 |
-1ex minus -.2ex}{1.5ex plus .2ex}{\@acmtitlestyle}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
345 |
\def\paragraph{\@startsection |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
346 |
{paragraph}{4}{\z@}{3.25ex plus 1ex minus .2ex}{-1em}{\@acmtitlestyle}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
347 |
\def\subparagraph{\@startsection |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
348 |
{subparagraph}{4}{\parindent}{3.25ex plus 1ex minus |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
349 |
.2ex}{-1em}{\@acmtitlestyle}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
350 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
351 |
\setcounter{secnumdepth}{3} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
352 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
353 |
\def\appendix{\par |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
354 |
\setcounter{section}{0} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
355 |
\setcounter{subsection}{0} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
356 |
\def\thesection{\Alph{section}}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
357 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
358 |
\leftmargini 22.5pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
359 |
\leftmarginii 19.8pt % > \labelsep + width of '(m)' |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
360 |
\leftmarginiii 16.8pt % > \labelsep + width of 'vii.' |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
361 |
\leftmarginiv 15.3pt % > \labelsep + width of 'M.' |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
362 |
\leftmarginv 9pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
363 |
\leftmarginvi 9pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
364 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
365 |
\leftmargin\leftmargini |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
366 |
\labelsep 4.5pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
367 |
\labelwidth\leftmargini\advance\labelwidth-\labelsep |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
368 |
% \parsep 4pt plus 2pt minus 1pt (Removed 9 Jun 87) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
369 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
370 |
% \@listI defines top level and \@listi values of |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
371 |
% \leftmargin, \topsep, \parsep, and \itemsep |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
372 |
% (Added 9 Jun 87) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
373 |
\def\@listI{\leftmargin\leftmargini \parsep 3.6pt plus 2pt minus 1pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
374 |
\topsep 7.2pt plus 2pt minus 4pt% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
375 |
\itemsep 3.6pt plus 2pt minus 1pt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
376 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
377 |
\let\@listi\@listI |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
378 |
\@listi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
379 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
380 |
\def\@listii{\leftmargin\leftmarginii |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
381 |
\labelwidth\leftmarginii\advance\labelwidth-\labelsep |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
382 |
\topsep 3.6pt plus 2pt minus 1pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
383 |
\parsep 1.8pt plus 0.9pt minus 0.9pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
384 |
\itemsep \parsep} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
385 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
386 |
\def\@listiii{\leftmargin\leftmarginiii |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
387 |
\labelwidth\leftmarginiii\advance\labelwidth-\labelsep |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
388 |
\topsep 1.8pt plus 0.9pt minus 0.9pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
389 |
\parsep \z@ \partopsep 1pt plus 0pt minus 1pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
390 |
\itemsep \topsep} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
391 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
392 |
\def\@listiv{\leftmargin\leftmarginiv |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
393 |
\labelwidth\leftmarginiv\advance\labelwidth-\labelsep} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
394 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
395 |
\def\@listv{\leftmargin\leftmarginv |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
396 |
\labelwidth\leftmarginv\advance\labelwidth-\labelsep} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
397 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
398 |
\def\@listvi{\leftmargin\leftmarginvi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
399 |
\labelwidth\leftmarginvi\advance\labelwidth-\labelsep} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
400 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
401 |
\def\labelenumi{\theenumi.} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
402 |
\def\theenumi{\arabic{enumi}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
403 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
404 |
\def\labelenumii{(\theenumii)} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
405 |
\def\theenumii{\alph{enumii}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
406 |
\def\p@enumii{\theenumi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
407 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
408 |
\def\labelenumiii{\theenumiii.} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
409 |
\def\theenumiii{\roman{enumiii}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
410 |
\def\p@enumiii{\theenumi(\theenumii)} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
411 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
412 |
\def\labelenumiv{\theenumiv.} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
413 |
\def\theenumiv{\Alph{enumiv}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
414 |
\def\p@enumiv{\p@enumiii\theenumiii} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
415 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
416 |
\def\labelitemi{$\bullet$} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
417 |
\def\labelitemii{\bf --} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
418 |
\def\labelitemiii{$\ast$} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
419 |
\def\labelitemiv{$\cdot$} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
420 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
421 |
\def\verse{\let\\=\@centercr |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
422 |
\list{}{\itemsep\z@ \itemindent -1.5em\listparindent \itemindent |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
423 |
\rightmargin\leftmargin\advance\leftmargin 1.5em}\item[]} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
424 |
\let\endverse\endlist |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
425 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
426 |
\def\quotation{\list{}{\listparindent 1.5em |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
427 |
\itemindent\listparindent |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
428 |
\rightmargin\leftmargin \parsep 0pt plus 1pt}\item[]} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
429 |
\let\endquotation=\endlist |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
430 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
431 |
\def\quote{\list{}{\rightmargin\leftmargin}\item[]} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
432 |
\let\endquote=\endlist |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
433 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
434 |
\def\descriptionlabel#1{\hspace\labelsep \bf #1} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
435 |
\def\description{\list{}{\labelwidth\z@ \itemindent-\leftmargin |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
436 |
\let\makelabel\descriptionlabel}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
437 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
438 |
\let\enddescription\endlist |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
439 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
440 |
%\newdimen\descriptionmargin |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
441 |
%\descriptionmargin=3em |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
442 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
443 |
\def\theequation{\arabic{equation}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
444 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
445 |
% \jot = 3pt % Extra space added between lines of an eqnarray environment |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
446 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
447 |
% The macro \@eqnnum defines how equation numbers are to appear in equations. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
448 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
449 |
% \def\@eqnnum{(\theequation)} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
450 |
% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
451 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
452 |
% Changed pagenum to 1, so margins work right in twoside option. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
453 |
% It's not clear to me that this environment is useful for acmconf.sty |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
454 |
% anyway. -Olin |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
455 |
\def\titlepage{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
456 |
\else \newpage \fi \thispagestyle{empty}\c@page\@ne} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
457 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
458 |
\def\endtitlepage{\if@restonecol\twocolumn \else \newpage \fi \c@page\@ne} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
459 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
460 |
\arraycolsep 4.5pt % Half the space between columns in an array environment. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
461 |
\tabcolsep 5.4pt % Half the space between columns in a tabular environment. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
462 |
\arrayrulewidth .4pt % Width of rules in array and tabular environment. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
463 |
\doublerulesep 1.8pt % Space between adjacent rules in array or tabular env. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
464 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
465 |
\tabbingsep \labelsep % Space used by the \' command. (See LaTeX manual.) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
466 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
467 |
\skip\@mpfootins = \skip\footins |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
468 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
469 |
\fboxsep = 2.7pt % Space left between box and text by \fbox and \framebox. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
470 |
\fboxrule = .4pt % Width of rules in box made by \fbox and \framebox. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
471 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
472 |
\newcounter{part} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
473 |
\newcounter {section} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
474 |
\newcounter {subsection}[section] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
475 |
\newcounter {subsubsection}[subsection] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
476 |
\newcounter {paragraph}[subsubsection] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
477 |
\newcounter {subparagraph}[paragraph] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
478 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
479 |
\def\thepart{\Roman{part}} % Roman numeral part numbers. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
480 |
\def\thesection {\arabic{section}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
481 |
\def\thesubsection {\thesection.\arabic{subsection}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
482 |
\def\thesubsubsection {\thesubsection .\arabic{subsubsection}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
483 |
\def\theparagraph {\thesubsubsection.\arabic{paragraph}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
484 |
\def\thesubparagraph {\theparagraph.\arabic{subparagraph}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
485 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
486 |
\def\@pnumwidth{1.55em} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
487 |
\def\@tocrmarg {2.55em} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
488 |
\def\@dotsep{4.5} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
489 |
\setcounter{tocdepth}{3} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
490 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
491 |
\def\tableofcontents{\@latexerr{\tableofcontents: Tables of contents are not |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
492 |
allowed in the `acmconf' document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
493 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
494 |
\def\l@part#1#2{\addpenalty{\@secpenalty} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
495 |
\addvspace{2.25em plus 1pt} % space above part line |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
496 |
\begingroup |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
497 |
\@tempdima 3em % width of box holding part number, used by |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
498 |
\parindent \z@ \rightskip \@pnumwidth %% \numberline |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
499 |
\parfillskip -\@pnumwidth |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
500 |
{\large \bf % set line in \large boldface |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
501 |
\leavevmode % TeX command to enter horizontal mode. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
502 |
#1\hfil \hbox to\@pnumwidth{\hss #2}}\par |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
503 |
\nobreak % Never break after part entry |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
504 |
\endgroup} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
505 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
506 |
\def\l@section#1#2{\addpenalty{\@secpenalty} % good place for page break |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
507 |
\addvspace{1.0em plus 1pt} % space above toc entry |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
508 |
\@tempdima 1.5em % width of box holding section number |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
509 |
\begingroup |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
510 |
\parindent \z@ \rightskip \@pnumwidth |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
511 |
\parfillskip -\@pnumwidth |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
512 |
\bf % Boldface. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
513 |
\leavevmode % TeX command to enter horizontal mode. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
514 |
\advance\leftskip\@tempdima %% added 5 Feb 88 to conform to |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
515 |
\hskip -\leftskip %% 25 Jan 88 change to \numberline |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
516 |
#1\nobreak\hfil \nobreak\hbox to\@pnumwidth{\hss #2}\par |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
517 |
\endgroup} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
518 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
519 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
520 |
\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
521 |
\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
522 |
\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
523 |
\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
524 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
525 |
\def\listoffigures{\@latexerr{\listoffigures: Lists of figures are not |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
526 |
allowed in the `acmconf' document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
527 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
528 |
\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
529 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
530 |
\def\listoftables{\@latexerr{\listoftables: Lists of tables are not |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
531 |
allowed in the `acmconf' document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
532 |
\let\l@table\l@figure |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
533 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
534 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
535 |
\def\thebibliography#1{\section*{References\@mkboth |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
536 |
{REFERENCES}{REFERENCES}}\list |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
537 |
{[\arabic{enumi}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
538 |
\advance\leftmargin\labelsep |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
539 |
\usecounter{enumi}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
540 |
\def\newblock{\hskip .11em plus .33em minus .07em} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
541 |
\sloppy\clubpenalty4000\widowpenalty4000 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
542 |
\sfcode`\.=1000\relax} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
543 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
544 |
\let\endthebibliography=\endlist |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
545 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
546 |
% \def\@biblabel#1{[#1]\hfill} % Produces the label for a \bibitem[...] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
547 |
% command. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
548 |
% \def\@cite#1{[#1]} % Produces the output of the \cite command. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
549 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
550 |
\newif\if@restonecol |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
551 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
552 |
\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
553 |
\columnseprule \z@ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
554 |
\columnsep 35pt\twocolumn[\section*{Index}] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
555 |
\@mkboth{INDEX}{INDEX}\thispagestyle{empty}\parindent\z@ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
556 |
\parskip\z@ plus .3pt\relax\let\item\@idxitem} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
557 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
558 |
\def\@idxitem{\par\hangindent 40pt} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
559 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
560 |
\def\subitem{\par\hangindent 40pt \hspace*{20pt}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
561 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
562 |
\def\subsubitem{\par\hangindent 40pt \hspace*{30pt}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
563 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
564 |
\def\endtheindex{\if@restonecol\onecolumn\else\clearpage\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
565 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
566 |
\def\indexspace{\par \vskip 10pt plus 5pt minus 3pt\relax} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
567 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
568 |
\def\footnoterule{\kern-3\p@ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
569 |
\hrule width .4\columnwidth |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
570 |
\kern 2.6\p@} % The \hrule has default height of .4pt . |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
571 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
572 |
\long\def\@makefntext#1{\parindent 1em\noindent |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
573 |
\hbox to 1.8em{\hss$^{\@thefnmark}$}#1} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
574 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
575 |
\setcounter{topnumber}{2} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
576 |
\def\topfraction{.7} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
577 |
\setcounter{bottomnumber}{1} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
578 |
\def\bottomfraction{.3} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
579 |
\setcounter{totalnumber}{3} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
580 |
\def\textfraction{.2} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
581 |
\def\floatpagefraction{.5} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
582 |
\setcounter{dbltopnumber}{2} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
583 |
\def\dbltopfraction{.7} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
584 |
\def\dblfloatpagefraction{.5} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
585 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
586 |
\long\def\@makecaption#1#2{ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
587 |
\vskip 10pt |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
588 |
\setbox\@tempboxa\hbox{#1: #2} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
589 |
\ifdim \wd\@tempboxa >\hsize % IF longer than one line: |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
590 |
#1: #2\par % THEN set as ordinary paragraph. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
591 |
\else % ELSE center. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
592 |
\hbox to\hsize{\hfil\box\@tempboxa\hfil} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
593 |
\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
594 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
595 |
\newcounter{figure} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
596 |
\def\thefigure{\@arabic\c@figure} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
597 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
598 |
\def\fps@figure{tbp} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
599 |
\def\ftype@figure{1} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
600 |
\def\ext@figure{lof} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
601 |
\def\fnum@figure{Figure \thefigure} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
602 |
\def\figure{\@float{figure}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
603 |
\let\endfigure\end@float |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
604 |
\@namedef{figure*}{\@dblfloat{figure}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
605 |
\@namedef{endfigure*}{\end@dblfloat} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
606 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
607 |
\newcounter{table} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
608 |
\def\thetable{\@arabic\c@table} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
609 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
610 |
\def\fps@table{tbp} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
611 |
\def\ftype@table{2} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
612 |
\def\ext@table{lot} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
613 |
\def\fnum@table{Table \thetable} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
614 |
\def\table{\@float{table}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
615 |
\let\endtable\end@float |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
616 |
\@namedef{table*}{\@dblfloat{table}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
617 |
\@namedef{endtable*}{\end@dblfloat} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
618 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
619 |
\def\maketitle{\par |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
620 |
\begingroup |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
621 |
\def\thefootnote{\fnsymbol{footnote}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
622 |
\def\@makefnmark{\hbox |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
623 |
to 0pt{$^{\@thefnmark}$\hss}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
624 |
\if@twocolumn |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
625 |
\twocolumn[\@maketitle] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
626 |
\else \newpage |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
627 |
\global\@topnum\z@ % Prevents figures from going at top of page. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
628 |
% \@maketitle \fi\thispagestyle{empty}\@thanks |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
629 |
\@maketitle \fi\@thanks |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
630 |
\endgroup |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
631 |
\setcounter{footnote}{0} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
632 |
\let\maketitle\relax |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
633 |
\let\@maketitle\relax |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
634 |
\gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
635 |
\@copyrightspace} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
636 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
637 |
\newbox\@acmtitlebox |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
638 |
\def\@maketitle{\newpage |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
639 |
\null |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
640 |
\setbox\@acmtitlebox\vbox{% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
641 |
\vskip 2em % Vertical space above title. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
642 |
\begin{center} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
643 |
{\LARGE \@title \par} % Title set in \LARGE size. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
644 |
\vskip 1.5em % Vertical space after title. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
645 |
{\large % each author set in \large, in a |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
646 |
\lineskip .5em % tabular environment |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
647 |
\begin{tabular}[t]{c}\@author |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
648 |
\end{tabular}\par} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
649 |
\vskip 1.5em % Vertical space after author. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
650 |
\end{center}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
651 |
\dimen0=\ht\@acmtitlebox |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
652 |
\advance\dimen0 by -14.5pc\relax % Increased space for title box -- KBT |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
653 |
\unvbox\@acmtitlebox |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
654 |
\ifdim\dimen0<0.0pt\relax\vskip-\dimen0\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
655 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
656 |
\def\abstract{\if@twocolumn |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
657 |
\section*{Abstract} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
658 |
\else \small |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
659 |
\begin{center} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
660 |
{\bf Abstract\vspace{-.5em}\vspace{0pt}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
661 |
\end{center} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
662 |
\quotation |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
663 |
\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
664 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
665 |
\def\endabstract{\if@twocolumn\else\endquotation\fi} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
666 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
667 |
%%% This section (written by KBT) handles the 1" box in the lower left |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
668 |
%%% corner of the left column of the first page by creating a picture, |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
669 |
%%% and inserting the predefined string at the bottom (with a negative |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
670 |
%%% displacement to offset the space allocated for a non-existent |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
671 |
%%% caption). |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
672 |
%%% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
673 |
\def\ftype@copyrightbox{8} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
674 |
\def\@copyrightspace{ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
675 |
\@float{copyrightbox}[b] |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
676 |
\begin{center} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
677 |
\setlength{\unitlength}{1pc} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
678 |
\begin{picture}(20,2.8) |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
679 |
\ifpreprint \put(0,-0.95){\@toappear} \else \fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
680 |
\end{picture} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
681 |
\end{center} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
682 |
\end@float} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
683 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
684 |
\def\@toappear{} % Default setting blank - commands below change this. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
685 |
\def\toappear#1{\def\@toappear{\parbox[b]{20pc}{#1}}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
686 |
\def\toappearbox#1{\def\@toappear{\raisebox{5pt}{\framebox[20pc]{\parbox[b]{19pc}{#1}}}}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
687 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
688 |
\def\marginpar{\@latexerr{The \marginpar command is not allowed in the |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
689 |
`acmconf' document style.}\@eha} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
690 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
691 |
\mark{{}{}} % Initializes TeX's marks |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
692 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
693 |
%% Headings are ignored unless the [preprint] option is in force. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
694 |
\ifpreprint |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
695 |
\if@twoside |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
696 |
\def\ps@headings{ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
697 |
\def\@oddfoot{} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
698 |
\def\@evenfoot{} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
699 |
\def\@evenhead{\rm\thepage\hfil \sl \leftmark} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
700 |
\def\@oddhead{\hbox{}\sl \rightmark \hfil\rm\thepage} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
701 |
\def\sectionmark##1{\markboth {\uppercase{\ifnum\c@secnumdepth>\z@ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
702 |
\thesection \hskip 1em\relax \fi ##1}}{}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
703 |
\def\subsectionmark##1 |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
704 |
{\markright {\ifnum \c@secnumdepth >\@ne \thesubsection |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
705 |
\hskip 1em\relax \fi ##1}}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
706 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
707 |
\else |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
708 |
\def\ps@headings{ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
709 |
\def\@oddfoot{} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
710 |
\def\@evenfoot{} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
711 |
\def\@oddhead{\hbox{}\sl \rightmark \hfil \rm\thepage} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
712 |
\def\sectionmark##1{\markright{\uppercase{\ifnum \c@secnumdepth >\z@ |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
713 |
\thesection\hskip 1em\relax \fi ##1}}}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
714 |
\fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
715 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
716 |
\def\ps@myheadings{\def\@oddhead{\hbox{}\sl\rightmark \hfil\rm\thepage}% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
717 |
\def \@evenhead{\rm \thepage\hfil\sl\leftmark\hbox{}}% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
718 |
\def\@oddfoot{}% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
719 |
\def\@evenfoot{}% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
720 |
\def\sectionmark##1{}% |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
721 |
\def\subsectionmark##1{}} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
722 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
723 |
\else % preprint off -- all \pagestyle commands ==> \pagestyle{empty}. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
724 |
\let\ps@plain\ps@empty |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
725 |
\let\ps@headings\ps@empty |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
726 |
\let\ps@myheadings\ps@empty |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
727 |
\fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
728 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
729 |
\def\today{\ifcase\month\or |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
730 |
January\or February\or March\or April\or May\or June\or |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
731 |
July\or August\or September\or October\or November\or December\fi |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
732 |
\space\number\day, \number\year} |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
733 |
|
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
734 |
\ps@plain |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
735 |
\pagenumbering{arabic} % Arabic page numbers |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
736 |
\twocolumn % Double column. |
670701b19e8e
added ACM style file for ICFP
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
737 |
\raggedbottom % Ragged bottom |