This is substantially new version of the SML/NJ Library.  It is
now organized into a utility library, and a collection of application
libraries; each with its own subdirectory.  Here is a roadmap of
the library structure:

  Directory	Sources File		Description
  -------------------------------------------------
  Util		smlnj-lib.cm		This is the general utility library.

  Compat	smlnj-lib-93.cm		This is a compatibility library that is
					mostly compatible with the 0.93 version
					of the SML/NJ library.  Eventually, this
					will go away.

  HTML		html-lib.cm		This library provides parsing and pretty
					printing of HTML (Version 3.2).

  Unix		unix-lib.cm		Unix specific utilities (including
					networking).

  Reactive	reactive-lib.cm		A low-level reactive scripting library.

The first column is the source directory, the second gives the library sources
file alias (to be used in your application's sources.cm file), and the third
column gives a brief description.  Look at the Doc dicrectory and at the README
files in the individual subdirectories for more documentation.

NOTE: the networking code will probably move into its own library in the
near future.  We are developing a collection of modules for various network
services (e.g., NNTP).

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: e
near future.  We are developing a collection of modules for various network
services (e.g., NNTP).</div>
</div></div>
</body></html>