Tue, 20 Nov 2007 11:42:15 +0100 | wenzelm | PolyML.SaveState.loadState: exit on failure; | file | diff | annotate |
Sun, 11 Nov 2007 16:24:22 +0100 | wenzelm | restore interrupt handler on init; | file | diff | annotate |
Sun, 04 Nov 2007 19:17:13 +0100 | wenzelm | replaced cc/ld phase by PolyML.SaveState.saveState (potentially more efficient); | file | diff | annotate |
Wed, 29 Aug 2007 23:06:27 +0200 | wenzelm | renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS; | file | diff | annotate |
Wed, 29 Aug 2007 22:47:01 +0200 | wenzelm | added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin); | file | diff | annotate |
Thu, 16 Aug 2007 18:53:21 +0200 | wenzelm | removed signal setup from root function to on-entry hook; | file | diff | annotate |
Mon, 23 Jul 2007 20:47:55 +0200 | wenzelm | added compatibility wrapper for polyml-5.1; | file | diff | annotate |