| 2008-09-03 | wenzelm | exclude large .mov files; | file | diff | annotate |
| 2008-07-02 | wenzelm | rename Doc doc-src; | file | diff | annotate |
| 2008-07-02 | wenzelm | exclude Distribution/bin/Isabelle; | file | diff | annotate |
| 2008-06-30 | wenzelm | filemap for CVS -> Mercurial conversion; | file | diff | annotate |