diff -r 3165bc303f66 -r b2769ba027b0 Admin/makedist
--- a/Admin/makedist	Mon May 31 21:06:57 2010 +0200
+++ b/Admin/makedist	Mon May 31 21:29:27 2010 +0200
@@ -148,6 +148,8 @@
 
 cp doc/isabelle*.eps lib/logo
 
+rm Isabelle Isabelle.exe
+
 
 if [ -z "$RELEASE" ]; then
   {