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