# HG changeset patch
# User wenzelm
# Date 1258898367 -3600
# Node ID 813b091dd63bd4ac35ad6bd2c20abb3d4a9bd52f
# Parent  23d09560d56df319138ea14bf755faacad405f4e
remove presently unused Isabelle application;

diff -r 23d09560d56d -r 813b091dd63b Admin/makedist
--- a/Admin/makedist	Sun Nov 22 14:49:36 2009 +0100
+++ b/Admin/makedist	Sun Nov 22 14:59:27 2009 +0100
@@ -147,6 +147,8 @@
 
 cp doc/isabelle*.eps lib/logo
 
+rm Isabelle Isabelle.exe
+
 
 if [ -z "$RELEASE" ]; then
   {