equal
deleted
inserted
replaced
50 <p> |
50 <p> |
51 |
51 |
52 <a |
52 <a |
53 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a> |
53 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a> |
54 needs lots of store and disk space, but it is free. The current |
54 needs lots of store and disk space, but it is free. The current |
55 official release is 110.x, working versions 109.27 to 109.33 should |
55 official release is 110. We also still support the old 0.93 release. |
56 also work. We also still support the old 0.93 release. |
|
57 |
56 |
58 <p> |
57 <p> |
59 |
58 |
60 <a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a |
59 <a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a |
61 commercial ML programming environment. Isabelle on MLWorks 2.0 works well. |
60 commercial ML programming environment. Isabelle on MLWorks 2.0 works well. |