smlnj link update, x-symbol/PG update
authorkleing
Mon May 12 13:49:08 2003 +0200 (2003-05-12)
changeset 140078c2b9750628f
parent 14006 13f639890266
child 14008 f843528b9f3c
smlnj link update, x-symbol/PG update
README.html
     1.1 --- a/README.html	Mon May 12 12:36:22 2003 +0200
     1.2 +++ b/README.html	Mon May 12 13:49:08 2003 +0200
     1.3 @@ -49,12 +49,9 @@
     1.4  compiler for running Isabelle, requiring the least memory and offering
     1.5  the highest performance.
     1.6  
     1.7 -<p> <a
     1.8 -href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
     1.9 -needs lots of store and disk space, but supports many more platforms.
    1.10 -The current official release is 110.  Basically, we still support the
    1.11 -old 0.93 release, but do not recommend to use it under normal
    1.12 -circumstances.
    1.13 +<p> <a href="http://smlnj.sourceforge.net/">SML/NJ</a> needs more
    1.14 +store and disk space, but on the other hand supports more platforms.
    1.15 +The current official release is 110.
    1.16  
    1.17  <p> MLWorks used to be a commercial ML programming environment
    1.18  developed by <a href="http://www.harlequin.com/">Harlequin</a> and was
    1.19 @@ -64,10 +61,11 @@
    1.20  
    1.21  <h2>Installation</h2>
    1.22  
    1.23 -Binary packages are available for Isabelle/HOL and ZF on the Linux/x86
    1.24 -platform.  The system may be easily built from scratch as well, taking
    1.25 -the traditional tar.gz source distribution.  See file <tt>INSTALL</tt>
    1.26 -as distributed with Isabelle for more information.
    1.27 +Binary packages are available for Isabelle/HOL and ZF for several
    1.28 +platforms from the Isabelle web page.  The system may be easily built
    1.29 +from scratch as well, taking the traditional tar.gz source
    1.30 +distribution.  See file <tt>INSTALL</tt> as distributed with Isabelle
    1.31 +for more information.
    1.32  
    1.33  Further background information may be found in the <em>Isabelle System
    1.34  Manual</em>, distributed with the sources (directory <tt>doc</tt>).
    1.35 @@ -87,7 +85,7 @@
    1.36  
    1.37  <p>
    1.38  
    1.39 -Proof General may be used together with the Emacs
    1.40 +Proof General is distributed together with the XEmacs
    1.41  <a href="http://x-symbol.sourceforge.net">
    1.42  X-Symbol package</a>, which provides a nice way to get proper
    1.43  mathematical symbols displayed on screen.