| Sun, 09 Oct 2011 15:46:06 +0200 | wenzelm | updated ISABELLE_HOME_USER; | file | diff | annotate |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Fri, 27 Aug 2010 00:02:32 +0200 | wenzelm | eliminated old 'local' command; | file | diff | annotate |