doc: non-appl rec mod; mosmllib: no Splaytree

kfl · Aug 2, 2000 · 5a0f80d · 5a0f80d
1 parent 5292dda
commit 5a0f80d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/src/doc/helpsigs/index.html b/src/doc/helpsigs/index.html
@@ -77,7 +77,6 @@ <H1>Moscow ML Library</h1>
 <A HREF="Socket.html">Socket</A>&nbsp;&nbsp;&nbsp;
 <A HREF="Splaymap.html">Splaymap</A>&nbsp;&nbsp;&nbsp;
 <A HREF="Splayset.html">Splayset</A>&nbsp;&nbsp;&nbsp;
-<A HREF="Splaytree.html">Splaytree</A>&nbsp;&nbsp;&nbsp;
 <A HREF="String.html">String</A>&nbsp;&nbsp;&nbsp;
 <A HREF="StringCvt.html">StringCvt</A>&nbsp;&nbsp;&nbsp;
 <A HREF="Substring.html">Substring</A>&nbsp;&nbsp;&nbsp;
@@ -266,9 +265,6 @@ <H2>Description of the structures</H2>
 <TR><TD><A HREF="Splayset.html">Splayset</A>
 <TD>splay-tree implementation of finite sets<TD>L 
 
-<TR><TD><A HREF="Splaytree.html">Splaytree</A>
-<TD>support for splay-trees<TD>&nbsp;
-
 <TR><TD><A HREF="String.html">String</A>
 <TD>string manipulation<TD>SDFNO
 
@@ -347,4 +343,4 @@ <H2>Getting help in a mosml interactive session</H2>
 Moscow ML</A> 2.00</EM>,
 <a href="http://www.dina.kvl.dk/~sestoft/">Peter Sestoft</a>
 (<a href="mailto:sestoft@dina.kvl.dk">sestoft@dina.kvl.dk</a>)
-2000-06-29</body></html>
+2000-08-02</body></html>
diff --git a/src/doc/mosmlref.tex b/src/doc/mosmlref.tex
@@ -1,4 +1,4 @@
-% mosmlref.tex v. 2.00.0 Copyright (C) Peter Sestoft 1994, 2000-06-28
+% mosmlref.tex v. 2.00.1 Copyright (C) Peter Sestoft 1994, 2000-08-02
 %
 % You may edit for lay-out, or leave out irrelevant sections (if
 % such omissions are marked somehow), but you may not redistribute the
@@ -849,8 +849,7 @@ \subsubsection*{Syntactic restrictions}
     datdesc\/} or {\it exdesc} may specify {\tt it}.
 
 \item In a generative functor {\tt functor ( {\it modid\/} :\ {\it sigexp} ) => {\it modexp}}
-, applicative functor {\tt functor {\it modid\/} :\ {\it sigexp\/} => {\it modexp}} 
-or recursive structure  {\tt rec ( {\it strid\/} :\ {\it sigexp} ) {\it modexp}},
+or applicative functor {\tt functor {\it modid\/} :\ {\it sigexp\/} => {\it modexp}}
 the body of {\it modexp} must be {\it applicative} in the sense that it contains
 no structure or functor bindings of the form 
 {\tt {\it strid\/} as {\it sigexp} = {\it exp}} or