--- a/INSTALL Sat Dec 20 11:39:34 2008 +0100
+++ b/INSTALL Sat Dec 20 11:55:34 2008 +0100
@@ -85,6 +85,3 @@
Note that the site-wide Isabelle installation may already provide
Isabelle executables in some global bin directory (such as
/usr/local/bin).
-
-
-$Id$