| Tue, 26 Aug 2008 12:17:58 +0200 | wenzelm | renamed Isabelle-repository to isabelle; | file | diff | annotate |
| Mon, 04 Aug 2008 19:25:59 +0200 | wenzelm | replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/ | file | diff | annotate |
| Fri, 18 Jul 2008 22:03:20 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Thu, 17 Jul 2008 21:23:32 +0200 | wenzelm | proper purge_tmp; | file | diff | annotate |
| Thu, 17 Jul 2008 21:07:17 +0200 | wenzelm | proper usage message; | file | diff | annotate |
| Thu, 17 Jul 2008 20:40:05 +0200 | wenzelm | make Isabelle source distribution (via Mercurial); | file | diff | annotate |