Mon, 23 Mar 2009 21:40:11 +0100 | wenzelm | more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context; | file | diff | annotate |
Sat, 21 Mar 2009 20:00:23 +0100 | wenzelm | added polyml_pp.ML: toplevel pretty printing for Poly/ML 4.x and 5.x before 5.3; | file | diff | annotate |
Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
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 |
Fri, 10 Nov 2006 23:22:11 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Mon, 14 Nov 2005 14:36:46 +0100 | wenzelm | Compatibility wrapper for Poly/ML 4.2.0. | file | diff | annotate |