--- a/Admin/makedist Sun Oct 09 11:13:53 2011 +0200
+++ b/Admin/makedist Mon Oct 10 11:12:09 2011 +0200
@@ -178,7 +178,6 @@
echo
} >ANNOUNCE
else
- rm Isabelle Isabelle.exe
perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
fi