configure
changeset 2754 59bd96046ad6
parent 2655 9420efbb868e
child 3007 e5efa177ee0c
     1.1 --- a/configure	Fri Mar 07 10:26:02 1997 +0100
     1.2 +++ b/configure	Fri Mar 07 11:48:46 1997 +0100
     1.3 @@ -13,14 +13,3 @@
     1.4    echo "FATAL ERROR: bash not found!"
     1.5    exit 2
     1.6  fi
     1.7 -
     1.8 -
     1.9 -## manual steps
    1.10 -
    1.11 -PWD=`pwd`
    1.12 -echo
    1.13 -echo "***********************************************************"
    1.14 -echo "* Please check the ML compiler settings in ./etc/settings *"
    1.15 -echo "* before compiling Isabelle.                              *"
    1.16 -echo "***********************************************************"
    1.17 -echo