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 |