--- a/lib/scripts/patch-scripts.bash Fri Mar 07 14:49:56 1997 +0100
+++ b/lib/scripts/patch-scripts.bash Fri Mar 07 14:51:50 1997 +0100
@@ -13,14 +13,14 @@
local BINARY=""
if [ -f "$DEFAULT" ]; then # preferred location
- echo "found $DEFAULT" >&2
+ echo "using $DEFAULT" >&2
echo "$DEFAULT"
return
else # find in PATH
BASE=$(basename "$DEFAULT")
BINARY=$(type -path "$BASE")
if [ -n "$BINARY" ]; then
- echo "found $BINARY" >&2
+ echo "using $BINARY" >&2
echo "$BINARY"
return
else
--- a/src/Pure/IsaMakefile Fri Mar 07 14:49:56 1997 +0100
+++ b/src/Pure/IsaMakefile Fri Mar 07 14:51:50 1997 +0100
@@ -6,11 +6,6 @@
# The Pure part is common to all systems. Object-logics (like FOL)
# are loaded on top of it.
#
-# How to build:
-# (1) put the Isabelle bin dir into your PATH (try 'which isabelle')
-# (2) make sure Isabelle's etc/settings are appropriate (ML system etc.)
-# (3) cd here and run 'isatool make'
-#
OUT = $(ISABELLE_OUTPUT_DIR)