lib/scripts/run-polyml-5.0
2009-05-31 wenzelm 2009-05-31 removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-05-31 wenzelm 2009-05-31 removed obsolete COPYDB flag;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-03-24 wenzelm 2008-03-24 back to feeder -- Isabelle ML setup no longer evaluates command line;
2008-03-06 wenzelm 2008-03-06 tuned comment;
2007-10-20 wenzelm 2007-10-20 maintain PolyML.Compiler.printInAlphabeticalOrder in polyml.ML;
2007-08-29 wenzelm 2007-08-29 renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS;
2007-08-29 wenzelm 2007-08-29 added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin);
2007-08-16 wenzelm 2007-08-16 removed signal setup from root function to on-entry hook;
2007-02-06 wenzelm 2007-02-06 cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms;
2006-12-10 wenzelm 2006-12-10 hardwired option -q;
2006-12-08 wenzelm 2006-12-08 more careful evaluation of ML text, prevents spurious output;
2006-12-08 wenzelm 2006-12-08 root function: restore default interrupt handler; output file: avoid .exe (e.g. for Cygwin);
2006-12-05 wenzelm 2006-12-05 setup for polyml-5.0;