Return to man.tex CVS log

Up to [Research Unix] / researchv10no / cmd / sml / doc / refman

Annotation of researchv10no/cmd/sml/doc/refman/man.tex, revision 1.1.1.1

1.1       root        1: \documentstyle [twoside]{report}
                      2: %\includeonly{library,compat}
                      3: \title{Standard ML Reference Manual (PRELIMINARY)}
                      4: \author{}
                      5: \date{\today}
                      6: 
                      7: 
                      8: \begin{document}
                      9: \newcommand{\xskip}{\vspace{1ex}}
                     10: \newcommand{\res}[1]{{\tt #1}}
                     11: \newcommand{\rep}[1]{\underline{\  {\footnotesize #1}  \ }}
                     12: \newcommand{\lhs}[1]{\pagebreak[1] \item[#1 \  \( \rightarrow \) ] }
                     13: \def\description{\list{}{\labelwidth 1.3in \labelsep 0.3in
                     14:                          \leftmargin 1.6in
                     15:  \let\makelabel\descriptionlabel}}
                     16: \maketitle
                     17: \begin{abstract}
                     18: This manual is a major revision by Andrew W. Appel and David B. MacQueen
                     19: of the {\em Standard ML} reference manual (ECS-LFCS-86-2).  That
                     20: document is divided into three parts: the Core language description
                     21: by Robin Milner, the standard I/O library by Robert W. Harper,
                     22: and the Module system by David B. MacQueen.  This new manual reflects
                     23: a slightly evolved language, and describes the library functions
                     24: (initial environment) built into the Standard ML of New Jersey system,
                     25: developed at AT\&T Bell Laboratories and Princeton University.
                     26: 
                     27: At present the manual is in a very rough form, and should be
                     28: considered a preliminary draft.  This version is distributed
                     29: primarily as documentation of the mid-1989 distribution of the
                     30: {\it Standard ML of New Jersey} compiler.
                     31: \end{abstract}
                     32: \include{intro}
                     33: \include{lex}
                     34: \include{gram2}
                     35: \include{eval}
                     36: \include{type}
                     37: \include{direct}
                     38: \include{standard}
                     39: \include{derived}
                     40: \include{equality}
                     41: \include{exceptions}
                     42: \include{reference}
                     43: \include{reftype}
                     44: \include{module}
                     45: \appendix
                     46: \include{gram}
                     47: \include{library}
                     48: \include{compat}
                     49: \end{document}

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.