| Sun, 07 Sep 2008 17:46:43 +0200 | wenzelm | explicit use of universal.ML and dummy_thread.ML; | file | diff | annotate |
| Mon, 24 Mar 2008 18:35:41 +0100 | wenzelm | removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1); | file | diff | annotate |
| Thu, 06 Mar 2008 19:21:26 +0100 | wenzelm | rearrangements to make latest Poly/ML the default, not old 4.x; | file | diff | annotate |
| Thu, 31 May 2007 01:25:24 +0200 | wenzelm | TextIO.inputLine: use present SML B library version; | file | diff | annotate |