-
Notifications
You must be signed in to change notification settings - Fork 1
/
pr7rs_a4.tex
84 lines (62 loc) · 2.17 KB
/
pr7rs_a4.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
\documentclass[twoside,twocolumn,a4paper]{algol60}
\usepackage{amsmath}
\usepackage{makeidx}
\pagestyle{headings}
\showboxdepth=0
\makeindex
\input{commands}
\def\headertitle{Pico Revised$^{7}$ Scheme}
\def\integerversion{7}
% Sizes and dimensions
\topmargin -.375in % Nominal distance from top of page to top of
% box containing running head.
\headsep 15pt % Space between running head and text.
\textheight 663pt % Height of text (including footnotes and figures,
% excluding running head and foot).
\textwidth 523pt % Width of text line.
\columnsep 15pt % Space between columns
\columnseprule 0pt % Width of rule between columns.
\parskip 5pt plus 2pt minus 2pt % Extra vertical space between paragraphs.
\parindent 0pt % Width of paragraph indentation.
\topsep 0pt plus 2pt % Extra vertical space, in addition to
% \parskip, added above and below list and
% paragraphing environments.
\oddsidemargin -.5in % Left margin on odd-numbered pages.
\evensidemargin -.5in % Left margin on even-numbered pages.
%% End of sizes and dimensions
\usepackage{hyperref}
%\usepackage{refcheck} %also need to uncomment \nocite{*} below
%% \usepackage{supertabular}
\begin{document}
\parindent 0pt %!! 15pt % Width of paragraph indentation.
\input{first} \par
\input{intro} \par
\vskip 2ex
\clearchapterstar{Description of the language} %\unskip\vskip -2ex
\input{struct} \par
\input{lex} \par
\input{basic} \par
\input{expr} \par
\input{prog} \par
\input{procs} \par
\input{syn} \par
\input{sem} \par
\input{derive} \par
\appendix
%\input{stdmod} \par \vfill\eject
%\input{features} \par \vfill\eject
%\input{notes} \par
%\input{repository} \par \vfill\eject
\input{example} \par %\vfill\eject
\renewcommand{\bibname}{References}
\input{bib} \par
%\nocite{*}
\vfill\eject
%\begin{theindex}
%The principal entry for each term, procedure, or keyword is listed
%first, separated from the other entries by a semicolon.
%\bigskip
%\input{index}
\printindex
%\end{theindex}
\end{document}