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     ! 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.