| Wed, 03 Sep 2008 19:52:45 +0200 | wenzelm | exclude large .mov files; | file | diff | annotate |
| Wed, 02 Jul 2008 20:31:06 +0200 | wenzelm | rename Doc doc-src; | file | diff | annotate |
| Wed, 02 Jul 2008 18:13:10 +0200 | wenzelm | exclude Distribution/bin/Isabelle; | file | diff | annotate |
| Mon, 30 Jun 2008 22:24:27 +0200 | wenzelm | filemap for CVS -> Mercurial conversion; | file | diff | annotate |