Paper/document/acmconf.sty
author Christian Urban <urbanc@in.tum.de>
Mon, 08 Mar 2010 20:18:27 +0100
changeset 1368 c0cb30581f58
parent 1327 670701b19e8e
permissions -rw-r--r--
added a test-file for compatibility
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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