43 "make" or "make test". This may trigger further Makes automatically. |
43 "make" or "make test". This may trigger further Makes automatically. |
44 |
44 |
45 |
45 |
46 SUITABLE ML COMPILERS |
46 SUITABLE ML COMPILERS |
47 |
47 |
48 You use two different Standard ML compilers: Poly/ML version 2.03 or later |
48 You can use two different Standard ML compilers: Poly/ML version 2.03 or later |
49 (from Abstract Hardware Ltd) and Standard ML of New Jersey (Version 0.93 or |
49 (from Abstract Hardware Ltd) and Standard ML of New Jersey (Version 0.93 or |
50 later). Poly/ML is a commercial product and costs money, but it is stable and |
50 later). Poly/ML is a commercial product and costs money, but it is stable and |
51 efficient; moreover its database system is convenient for interactive work. |
51 efficient; moreover its database system is convenient for interactive work. |
52 SML of New Jersey requires lots of store and disc space, but it is free and |
52 SML/NJ needs lots of store and disc space, but it is free. Recent versions of |
53 its code sometimes runs faster. Both compilers are perfectly satisfactory for |
53 SML/NJ are significantly faster than 0.93, but beware of many |
54 running Isabelle. |
54 incompatibilities among them; you might be forced to edit the file |
|
55 Pure/NJ1xx.ML. |
55 |
56 |
56 To obtain Poly/ML, contact Abstract Hardware Ltd, The Howell Building, Brunel |
57 To obtain Poly/ML, contact Abstract Hardware Ltd, The Howell Building, Brunel |
57 University, Uxbridge UB8 3PH, England, email lambda@ahl.co.uk. |
58 University, Uxbridge UB8 3PH, England, email lambda@ahl.co.uk. |
58 |
59 |
59 To obtain Standard ML of New Jersey, see the Web page |
60 To obtain Standard ML of New Jersey, see the Web page |