Sun, 25 Oct 2009 11:58:11 +0100 | wenzelm | switch to polyml-5.2.1 to see if it impacts performance; | file | diff | annotate |
Thu, 30 Jul 2009 23:23:52 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS: -q 2 by default; | file | diff | annotate |
Sat, 25 Jul 2009 14:32:35 +0200 | wenzelm | internal session timing; | file | diff | annotate |
Thu, 23 Jul 2009 16:09:50 +0200 | wenzelm | tuned ML_OPTIONS; | file | diff | annotate |
Wed, 22 Jul 2009 10:48:25 +0200 | wenzelm | less ambitious settings; | file | diff | annotate |
Mon, 20 Jul 2009 19:57:32 +0200 | wenzelm | replaced usedir option -Q by more fine-grained -q; | file | diff | annotate |
Tue, 16 Jun 2009 22:49:39 +0200 | wenzelm | less ambitious ML_OPTIONS; | file | diff | annotate |
Sat, 13 Jun 2009 11:33:50 +0200 | wenzelm | proper ISABELLE_HOME_USER; | file | diff | annotate |
Fri, 12 Jun 2009 20:20:41 +0200 | wenzelm | more isatests; | file | diff | annotate |