INSTALL
changeset 29145 b1c6f4563df7
parent 28504 7ad7d7d6df47
child 30852 59a422908e29
     1.1 --- a/INSTALL	Sat Dec 20 11:39:34 2008 +0100
     1.2 +++ b/INSTALL	Sat Dec 20 11:55:34 2008 +0100
     1.3 @@ -85,6 +85,3 @@
     1.4  Note that the site-wide Isabelle installation may already provide
     1.5  Isabelle executables in some global bin directory (such as
     1.6  /usr/local/bin).
     1.7 -
     1.8 -
     1.9 -$Id$