1.1 --- a/README	Wed Nov 20 10:32:58 1996 +0100
     1.2 +++ b/README	Thu Nov 21 15:12:39 1996 +0100
     1.3 @@ -45,13 +45,14 @@
     1.4  
     1.5  			SUITABLE ML COMPILERS
     1.6  
     1.7 -You use two different Standard ML compilers: Poly/ML version 2.03 or later
     1.8 +You can use two different Standard ML compilers: Poly/ML version 2.03 or later
     1.9  (from Abstract Hardware Ltd) and Standard ML of New Jersey (Version 0.93 or
    1.10  later).  Poly/ML is a commercial product and costs money, but it is stable and
    1.11  efficient; moreover its database system is convenient for interactive work.
    1.12 -SML of New Jersey requires lots of store and disc space, but it is free and
    1.13 -its code sometimes runs faster.  Both compilers are perfectly satisfactory for
    1.14 -running Isabelle.
    1.15 +SML/NJ needs lots of store and disc space, but it is free.  Recent versions of
    1.16 +SML/NJ are significantly faster than 0.93, but beware of many
    1.17 +incompatibilities among them; you might be forced to edit the file
    1.18 +Pure/NJ1xx.ML.
    1.19  
    1.20  To obtain Poly/ML, contact Abstract Hardware Ltd, The Howell Building, Brunel
    1.21  University, Uxbridge UB8 3PH, England, email lambda@ahl.co.uk.