diff -r 38ccd5aaa353 -r 2d16f20adb4d Admin/Mercurial/filemap
--- a/Admin/Mercurial/filemap	Wed Jul 02 16:40:20 2008 +0200
+++ b/Admin/Mercurial/filemap	Wed Jul 02 18:13:10 2008 +0200
@@ -1,3 +1,4 @@
+exclude Distribution/bin/Isabelle
 rename Distribution .
 rename CCL src/CCL
 rename CTT src/CTT