Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
moved settings comment to build;
authorwenzelm
Fri, 07 Mar 1997 11:48:46 +0100
changeset 2754 59bd96046ad6
parent 2753 bcde71e5f371
child 2755 9a7128d9722e
moved settings comment to build;
configure file | annotate | diff | comparison | revisions 
--- 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
isabelle