Updated various READMEs

kfl · Aug 16, 2013 · a905246 · a905246
1 parent 4d30a2c
commit a905246
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 14 deletions.
diff --git a/README b/README
@@ -60,13 +60,19 @@ New in version 2.10 of Moscow ML
       (bug report by Martin Elsman)
     * General: added exception Span and made the type of the function
       'before' less general (bug report by Henning Niss)
-    * Moscow ML is now developed in the open at github.
+  * Added modules to mosmllib:
+    * Buffer: mutable string buffers for fast and efficient
+      concatenation of strings
+    * Hashset: sets implemented by hash-tables
+    * Rbset: ordered sets implemented by red-black trees
+    * Redblackmap: maps implemented by red-black trees
+  * Moscow ML is now developed in the open at github.
 
 
 SYSTEM REQUIREMENTS
 
 Compilation under Unix is best done using GNU make, gcc, and Perl.  A
-binary installation requires 5 MB disk space; a source installation
+binary installation requires 8 MB disk space; a source installation
 requires 25 MB disk space.
 
 LIST OF FILES
@@ -147,13 +153,9 @@ from ftp.inria.fr:lang/caml-light.
 
 AVAILABILITY
 
-    * The Moscow ML home page is at  
-        http://www.itu.dk/people/sestoft/mosml.html
-    * Moscow ML library documentation
-        http://www.itu.dk/people/sestoft/mosmllib/
-    * The Linux executables (and documentation) are in
-        http://www.itu.dk/people/sestoft/linux-mos20bin.tar.gz
-    * The MS Windows executables are in 
-        http://www.itu.dk/people/sestoft/win32-mos20bin.zip
-    * The Unix source files (and documentation) are in
-        http://www.itu.dk/people/sestoft/mos201src.tar.gz
+  * The Moscow ML home page is at  
+      http://mosml.org
+  * Moscow ML library documentation
+      http://www.itu.dk/people/sestoft/mosmllib/
+  * The source files can be downloaded from GitHub at
+      https://github.com/kfl/mosml/zipball/master
diff --git a/doc/releases.txt b/doc/releases.txt
@@ -247,7 +247,7 @@ Moscow ML release history
     * Moscow ML 2.00 for Windows failed when loading structure Timer
     * Misplaced double quote in Msp.ahrefa 
 
-2.02 (?)
+2.10 (August, 2013)
   * Support for dynamic linking and callback from C also under MacOS X
   * There may now be 2 G globals (string literals etc) instead of 64 K
   * Bugs fixed:
@@ -291,3 +291,10 @@ Moscow ML release history
       (bug report by Martin Elsman)
     * General: added exception Span and made the type of the function
       'before' less general (bug report by Henning Niss)
+  * Added modules to mosmllib:
+    * Buffer: mutable string buffers for fast and efficient
+      concatenation of strings
+    * Hashset: sets implemented by hash-tables
+    * Rbset: ordered sets implemented by red-black trees
+    * Redblackmap: maps implemented by red-black trees
+  * Moscow ML is now developed in the open at github.
diff --git a/src/mosmllib/README b/src/mosmllib/README
@@ -10,6 +10,7 @@ Library units, Moscow ML version 2.00 (June 2000)
     | Binaryset   binary tree implementation of finite sets  |   L  |
     | BinIO       binary input-output streams (imperative)   |S F   |
     | Bool        Booleans                                   |S F   |
+    | Buffer      mutable string buffer                      |      |
     | Byte        character-byte conversion                  |S F   |
     | Callback    registering ML values for access from C    |      |
     | Char        characters                                 |SDF NO|
@@ -23,7 +24,8 @@ Library units, Moscow ML version 2.00 (June 2000)
     | Gdbm        persistent hash tables of strings (gdbm)   |      |
     | Gdimage     generation of PNG images (Boutell's GD)    |      |
     | General     various top-level primitives               |SD    |
-    | Graphics    graphics primitives (DOS version only)     |      |   
+    | Graphics    graphics primitives (DOS version only)     |      |
+    | Hashset     sets implemented by hashtables             |   L  |
     | Help        on-line help                               | DF NO|
     | Int         operations on integers                     |S F   |
     | Intmap      finite maps from integers                  |   L  |
@@ -47,7 +49,9 @@ Library units, Moscow ML version 2.00 (June 2000)
     | PP          general prettyprinters                     |   L  |
     | Process     manipulating processes                     |S F   |
     | Random      generation of pseudo-random numbers        |      |
+    | Rbset       sets implemented by red-black trees        |      |
     | Real        arithmetic on floating-point numbers       |S F   |
+    | Redblackmap maps implemented by red-black trees        |      |
     | Regex       regular expressions as in POSIX 1003.2     |      |
     | Real        arithmetic on floating-point numbers       |S F   |
     | Signal      Unix signals                               |S     |