| Sun, 31 May 2009 15:49:35 +0200 |
wenzelm |
removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 15:27:19 +0200 |
wenzelm |
removed obsolete COPYDB flag;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Mon, 24 Mar 2008 18:35:39 +0100 |
wenzelm |
back to feeder -- Isabelle ML setup no longer evaluates command line;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 19:21:24 +0100 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2007 20:32:23 +0200 |
wenzelm |
maintain PolyML.Compiler.printInAlphabeticalOrder in polyml.ML;
|
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
|
| 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
|