1.1 --- a/bin/isabelle Wed May 14 17:55:10 1997 +0200
1.2 +++ b/bin/isabelle Wed May 14 18:37:03 1997 +0200
1.3 @@ -1,4 +1,4 @@
1.4 -#!/bin/bash
1.5 +#!/usr/wiss/wenzelm/bin/bash
1.6 #
1.7 # $Id$
1.8 #
1.9 @@ -27,7 +27,7 @@
1.10 echo " -q non-interactive session"
1.11 echo " -r open heap file read-only"
1.12 echo
1.13 - echo " INPUT (default \"$DEFAULT_LOGIC\") and OUTPUT specify in/out heaps."
1.14 + echo " INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
1.15 echo " These are either names to be searched in the Isabelle path, or actual"
1.16 echo " file names (then containing at least one /)."
1.17 echo " If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
1.18 @@ -104,7 +104,7 @@
1.19
1.20 ## input heap file
1.21
1.22 -[ -z "$INPUT" ] && INPUT="$DEFAULT_LOGIC"
1.23 +[ -z "$INPUT" ] && INPUT="$ISABELLE_LOGIC"
1.24
1.25 case "$INPUT" in
1.26 RAW_ML_SYSTEM)
2.1 --- a/build Wed May 14 17:55:10 1997 +0200
2.2 +++ b/build Wed May 14 18:37:03 1997 +0200
2.3 @@ -1,4 +1,4 @@
2.4 -#!/bin/bash
2.5 +#!/usr/wiss/wenzelm/bin/bash
2.6 #
2.7 # $Id$
2.8 #
2.9 @@ -26,7 +26,7 @@
2.10 echo " -b batch mode"
2.11 echo " -t run tests"
2.12 echo
2.13 - echo " Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
2.14 + echo " Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
2.15 echo " in the distribution."
2.16 echo
2.17 exit 1
2.18 @@ -104,7 +104,7 @@
2.19 echo
2.20 fi
2.21
2.22 -[ -z "$LOGICS" ] && LOGICS=$DEFAULT_LOGIC
2.23 +[ -z "$LOGICS" ] && LOGICS=$ISABELLE_LOGIC
2.24
2.25 if [ -n "$ALL" ]; then
2.26 LOGICS=""
3.1 --- a/etc/settings Wed May 14 17:55:10 1997 +0200
3.2 +++ b/etc/settings Wed May 14 18:37:03 1997 +0200
3.3 @@ -68,7 +68,7 @@
3.4 fi
3.5
3.6 #Users may want to change this.
3.7 -DEFAULT_LOGIC=HOL
3.8 +ISABELLE_LOGIC=HOL
3.9
3.10
3.11 ## Docs
4.1 --- a/etc/user-settings.sample Wed May 14 17:55:10 1997 +0200
4.2 +++ b/etc/user-settings.sample Wed May 14 18:37:03 1997 +0200
4.3 @@ -21,7 +21,7 @@
4.4 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
4.5 #ISABELLE_OUTPUT=somewhere-else
4.6
4.7 -#DEFAULT_LOGIC=ZF
4.8 +#ISABELLE_LOGIC=ZF
4.9
4.10
4.11 ###