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 |
Tue, 06 Feb 2007 18:02:28 +0100 | wenzelm | cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms; | file | diff | annotate |
Sun, 10 Dec 2006 15:30:33 +0100 | wenzelm | hardwired option -q; | file | diff | annotate |
Fri, 08 Dec 2006 23:25:52 +0100 | wenzelm | more careful evaluation of ML text, prevents spurious output; | file | diff | annotate |
Fri, 08 Dec 2006 22:17:20 +0100 | wenzelm | root function: restore default interrupt handler; | file | diff | annotate |
Tue, 05 Dec 2006 18:33:29 +0100 | wenzelm | setup for polyml-5.0; | file | diff | annotate |