| 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 |