Fri, 03 Oct 2008 21:06:36 +0200 |
wenzelm |
removed obsolete Posix/Signal compatibility wrappers;
|
file |
diff |
annotate
|
Wed, 01 Oct 2008 12:00:02 +0200 |
wenzelm |
more robust treatment of Interrupt (cf. exn.ML);
|
file |
diff |
annotate
|
Mon, 29 Sep 2008 21:26:49 +0200 |
wenzelm |
added type pp, which helps installing polymorphic pretty printers;
|
file |
diff |
annotate
|
Wed, 17 Sep 2008 21:27:24 +0200 |
wenzelm |
use_text/use_file now depend on explicit ML name space;
|
file |
diff |
annotate
|
Sun, 07 Sep 2008 17:46:43 +0200 |
wenzelm |
explicit use of universal.ML and dummy_thread.ML;
|
file |
diff |
annotate
|
Fri, 28 Mar 2008 22:39:47 +0100 |
wenzelm |
added forget_structure;
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 18:35:46 +0100 |
wenzelm |
removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
|
file |
diff |
annotate
|
Thu, 06 Mar 2008 20:17:50 +0100 |
wenzelm |
common setup for system_out/system;
|
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
|