Thu, 30 Jul 2009 23:23:52 +0200 | ISABELLE_USEDIR_OPTIONS: -q 2 by default; | file | diff | annotate |
Sat, 25 Jul 2009 14:32:35 +0200 | internal session timing; | file | diff | annotate |
Thu, 23 Jul 2009 16:09:50 +0200 | tuned ML_OPTIONS; | file | diff | annotate |
Wed, 22 Jul 2009 10:48:25 +0200 | less ambitious settings; | file | diff | annotate |
Tue, 21 Jul 2009 13:46:18 +0200 | less ambitious ML_OPTIONS; | file | diff | annotate |
Mon, 20 Jul 2009 19:57:32 +0200 | replaced usedir option -Q by more fine-grained -q; | file | diff | annotate |
Sat, 13 Jun 2009 11:33:50 +0200 | proper ISABELLE_HOME_USER; | file | diff | annotate |
Fri, 12 Jun 2009 20:20:41 +0200 | more isatests; | file | diff | annotate |