1% mosmllib.tex v. 2.00.0 Copyright (C) Peter Sestoft 2000, 2000-06-01
2%
3% You may edit for lay-out, or leave out irrelevant sections (if
4% such omissions are marked somehow), but you may not redistribute the
5% sources.  The authors' names and the Moscow ML URL must be left in place.
6
7\documentclass[fleqn,twoside,a4paper]{article}
8\usepackage{geometry}
9
10\usepackage{program,pslatex}
11\usepackage[T1]{fontenc}
12\usepackage[latin1]{inputenc}
13\nonstopmode
14\makeindex
15\pagestyle{headings}
16\thispagestyle{empty}
17
18\begin{document}
19
20\begin{center}
21
22  \vspace*{0cm}
23
24{\huge\bf Moscow ML Library Documentation}\\[0.5cm]
25
26{Version 2.00 of June 2000}\\[0.5cm]
27
28Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia\\
29Claudio Russo, Cambridge University, Cambridge, United Kingdom\\
30Peter Sestoft, Royal Veterinary and Agricultural University,
31Copenhagen, Denmark
32
33% \begin{tabular}{ccc}
34% \large Sergei Romanenko && \large Peter Sestoft\\[0.1cm]
35% Russian Academy of Sciences && Royal Veterinary and Agricultural University\\
36% Moscow, Russia && Copenhagen, Denmark
37% \end{tabular}
38\end{center}
39
40\vspace{1cm}
41
42\subsection*{This document}
43
44This manual describes the Moscow ML library, which includes parts of
45the SML Basis Library and several extensions.  The manual has been
46generated automatically from the commented signature files.
47
48
49\subsection*{Alternative formats of this document}
50
51\subsubsection*{Hypertext on the World-Wide Web}
52
53The manual is available at
54\verb$http://mosml.org/mosmllib/$ for online browsing.
55
56
57\subsubsection*{Hypertext in the Moscow ML distribution}
58
59The manual is available for offline browsing at
60\verb$mosml/doc/mosmllib/index.html$ in the distribution.
61
62\subsubsection*{On-line help in the Moscow ML interactive system}
63
64The manual is available also in interactive {\tt mosml} sessions.
65Type {\tt help "lib";} for an overview of built-in function libraries.
66Type {\tt help "fromstring";} for help on a particular identifier,
67such as {\tt fromString}.  This will produce a menu of all library
68structures which contain the identifier {\tt fromstring} (disregarding
69the lowercase/uppercase distinction):
70
71{\small\begin{verbatim}
72    --------------------------------
73    |   1 | val  Bool.fromString   |
74    |   2 | val  Char.fromString   |
75    |   3 | val  Date.fromString   |
76    |   4 | val  Int.fromString    |
77    |   5 | val  Path.fromString   |
78    |   6 | val  Real.fromString   |
79    |   7 | val  String.fromString |
80    |   8 | val  Time.fromString   |
81    |   9 | val  Word.fromString   |
82    |  10 | val  Word8.fromString  |
83    --------------------------------
84\end{verbatim}}
85
86\noindent Choosing a number from this menu will invoke the help
87browser on the desired structure, e.g.\ {\tt Int}.
88
89\vfill
90
91\begin{center}
92\begin{tabular}{|c|}\hline
93\rule[-0.4cm]{0cm}{1cm}The Moscow ML home page is\ \
94    \verb$http://mosml.org$\\\hline
95\end{tabular}
96\end{center}
97
98\newpage
99
100\setcounter{page}{1}
101
102\twocolumn
103{\setlength{\parindent}{0cm}
104\renewcommand{\contentsline}[3]{#2\hfill #3\hspace*{3em}\newline}
105\tableofcontents
106}
107\onecolumn
108
109\newpage
110
111\input{texsigsigs.tex}
112
113\newpage
114
115\markboth{\MakeUppercase{Index}}{\MakeUppercase{Index}}
116\addcontentsline{toc}{section}{Index}
117\input{mosmllib.ind}
118
119\end{document}
120
121%%% Local Variables:
122%%% mode: latex
123%%% TeX-master: t
124%%% End:
125