equal
deleted
inserted
replaced
40 <p> |
40 <p> |
41 |
41 |
42 The following ML system and platform combinations are known to work |
42 The following ML system and platform combinations are known to work |
43 very well: |
43 very well: |
44 <ul> |
44 <ul> |
45 <li> Poly/ML 3.x on Linux/x86 and Solaris/Sparc. |
45 <li> Poly/ML 4.x and 3.x on Linux/x86 and Solaris/Sparc. |
46 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.). |
46 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.). |
47 </ul> |
47 </ul> |
48 |
48 |
49 <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a |
49 <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a |
50 commercial product, is back in the free world. It is by far the best |
50 commercial product, is back in the free world. It is by far the best |
59 circumstances. |
59 circumstances. |
60 |
60 |
61 <p> MLWorks is a commercial ML programming environment developed by <a |
61 <p> MLWorks is a commercial ML programming environment developed by <a |
62 href="http://www.harlequin.com/">Harlequin</a> and was unfortunately |
62 href="http://www.harlequin.com/">Harlequin</a> and was unfortunately |
63 withdrawn after that company was taken over. Isabelle on MLWorks 2.0 |
63 withdrawn after that company was taken over. Isabelle on MLWorks 2.0 |
64 works reasonably well. It is about 20% faster than on SML/NJ while |
64 works reasonably well. |
65 using slightly less memory and disk space. A few features (e.g. ML |
|
66 top-level pretty printing) are not supported, though. |
|
67 |
65 |
68 |
66 |
69 <h2>Installation</h2> |
67 <h2>Installation</h2> |
70 |
68 |
71 Binary packages are available for Isabelle/HOL and ZF on the Linux/x86 |
69 Binary packages are available for Isabelle/HOL and ZF on the Linux/x86 |