tuned comments;
authorwenzelm
Fri Mar 07 14:51:50 1997 +0100 (1997-03-07)
changeset 2760c2a90e8b4831
parent 2759 79def3619417
child 2761 fee689b7d813
tuned comments;
lib/scripts/patch-scripts.bash
src/Pure/IsaMakefile
     1.1 --- a/lib/scripts/patch-scripts.bash	Fri Mar 07 14:49:56 1997 +0100
     1.2 +++ b/lib/scripts/patch-scripts.bash	Fri Mar 07 14:51:50 1997 +0100
     1.3 @@ -13,14 +13,14 @@
     1.4    local BINARY=""
     1.5  
     1.6    if [ -f "$DEFAULT" ]; then	# preferred location
     1.7 -    echo "found $DEFAULT" >&2
     1.8 +    echo "using $DEFAULT" >&2
     1.9      echo "$DEFAULT"
    1.10      return
    1.11    else				# find in PATH
    1.12      BASE=$(basename "$DEFAULT")
    1.13      BINARY=$(type -path "$BASE")
    1.14      if [ -n "$BINARY" ]; then
    1.15 -      echo "found $BINARY" >&2
    1.16 +      echo "using $BINARY" >&2
    1.17        echo "$BINARY"
    1.18        return
    1.19      else
     2.1 --- a/src/Pure/IsaMakefile	Fri Mar 07 14:49:56 1997 +0100
     2.2 +++ b/src/Pure/IsaMakefile	Fri Mar 07 14:51:50 1997 +0100
     2.3 @@ -6,11 +6,6 @@
     2.4  # The Pure part is common to all systems. Object-logics (like FOL)
     2.5  # are loaded on top of it.
     2.6  #
     2.7 -# How to build:
     2.8 -#   (1) put the Isabelle bin dir into your PATH (try 'which isabelle')
     2.9 -#   (2) make sure Isabelle's etc/settings are appropriate (ML system etc.)
    2.10 -#   (3) cd here and run 'isatool make'
    2.11 -#
    2.12  
    2.13  OUT = $(ISABELLE_OUTPUT_DIR)
    2.14