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 |