author | wenzelm |
Fri, 07 Mar 1997 11:48:46 +0100 | |
changeset 2754 | 59bd96046ad6 |
parent 2753 | bcde71e5f371 |
child 2755 | 9a7128d9722e |
--- a/configure Fri Mar 07 10:26:02 1997 +0100 +++ b/configure Fri Mar 07 11:48:46 1997 +0100 @@ -13,14 +13,3 @@ echo "FATAL ERROR: bash not found!" exit 2 fi - - -## manual steps - -PWD=`pwd` -echo -echo "***********************************************************" -echo "* Please check the ML compiler settings in ./etc/settings *" -echo "* before compiling Isabelle. *" -echo "***********************************************************" -echo