| Mon, 20 Jul 2009 19:57:32 +0200 | wenzelm | replaced usedir option -Q by more fine-grained -q; | 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 |