INSTALL
changeset 6486 1f1d5e00e0a5
parent 6416 1452905753ab
child 8809 85539b33be03
     1.1 --- a/INSTALL	Thu Apr 22 15:03:50 1999 +0200
     1.2 +++ b/INSTALL	Thu Apr 22 15:16:59 1999 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  
     1.5 -Isabelle installation notes
     1.6 -===========================
     1.7 +Isabelle compilation and installation notes
     1.8 +===========================================
     1.9  
    1.10  Unpacking the archive
    1.11  ---------------------