| Sun, 19 Aug 2012 17:51:41 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Sat, 26 Mar 2011 16:21:41 +0100 | wenzelm | suppress Mercurial backup files; | file | diff | annotate |
| Wed, 23 Mar 2011 20:51:36 +0100 | wenzelm | list Isabelle tools via perl script, which is much faster that bash plumbing, especially on Cygwin; | file | diff | annotate |