equal
deleted
inserted
replaced
62 <p> |
62 <p> |
63 |
63 |
64 <a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a |
64 <a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a |
65 commercial ML programming environment. Isabelle on MLWorks 2.0 works |
65 commercial ML programming environment. Isabelle on MLWorks 2.0 works |
66 well. It is about 20% faster than on SML/NJ while using slightly less |
66 well. It is about 20% faster than on SML/NJ while using slightly less |
67 memory and disk space. A few minor features (e.g. top-level pretty |
67 memory and disk space. A few minor features (e.g. ML top-level pretty |
68 printing) are not yet supported, though. |
68 printing) are not yet supported, though. |
69 |
69 |
70 <p> |
70 <p> |
71 |
71 |
72 Poly/ML used to be a commercial product by Abstract Hardware Limited |
72 Poly/ML used to be a commercial product by Abstract Hardware Limited |