# HG changeset patch
# User wenzelm
# Date 857742710 -3600
# Node ID c2a90e8b4831feaed77b93384681f91ef594e760
# Parent  79def3619417427ddf0fc56ceee896df07d60051
tuned comments;

diff -r 79def3619417 -r c2a90e8b4831 lib/scripts/patch-scripts.bash
--- 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
diff -r 79def3619417 -r c2a90e8b4831 src/Pure/IsaMakefile
--- 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)