# HG changeset patch
# User wenzelm
# Date 1275334167 -7200
# Node ID b2769ba027b03d0e6e8f520ed0c8fcdc6c5b2170
# Parent  3165bc303f663a9d32fa6b399b8e6960f51abdaa
remove presently unused Isabelle application;

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
   {