# HG changeset patch
# User wenzelm
# Date 863627823 -7200
# Node ID 4e0bbfb113d50040072946728efe7f13731d539d
# Parent  537f7281d42cd30f232d95f976da37fdd632011f
renamed DEFAULT_LOGIC to ISABELLE_LOGIC;

diff -r 537f7281d42c -r 4e0bbfb113d5 bin/isabelle
--- a/bin/isabelle	Wed May 14 17:55:10 1997 +0200
+++ b/bin/isabelle	Wed May 14 18:37:03 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/wiss/wenzelm/bin/bash
 #
 # $Id$
 #
@@ -27,7 +27,7 @@
   echo "    -q           non-interactive session"
   echo "    -r           open heap file read-only"
   echo
-  echo "  INPUT (default \"$DEFAULT_LOGIC\") and OUTPUT specify in/out heaps."
+  echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
   echo "  These are either names to be searched in the Isabelle path, or actual"
   echo "  file names (then containing at least one /)."
   echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
@@ -104,7 +104,7 @@
 
 ## input heap file
 
-[ -z "$INPUT" ] && INPUT="$DEFAULT_LOGIC"
+[ -z "$INPUT" ] && INPUT="$ISABELLE_LOGIC"
 
 case "$INPUT" in
   RAW_ML_SYSTEM)
diff -r 537f7281d42c -r 4e0bbfb113d5 build
--- a/build	Wed May 14 17:55:10 1997 +0200
+++ b/build	Wed May 14 18:37:03 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/wiss/wenzelm/bin/bash
 #
 # $Id$
 #
@@ -26,7 +26,7 @@
   echo "    -b           batch mode"
   echo "    -t           run tests"
   echo
-  echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
+  echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
   echo "  in the distribution."
   echo
   exit 1
@@ -104,7 +104,7 @@
   echo
 fi
 
-[ -z "$LOGICS" ] && LOGICS=$DEFAULT_LOGIC
+[ -z "$LOGICS" ] && LOGICS=$ISABELLE_LOGIC
 
 if [ -n "$ALL" ]; then
   LOGICS=""
diff -r 537f7281d42c -r 4e0bbfb113d5 etc/settings
--- a/etc/settings	Wed May 14 17:55:10 1997 +0200
+++ b/etc/settings	Wed May 14 18:37:03 1997 +0200
@@ -68,7 +68,7 @@
 fi
 
 #Users may want to change this.
-DEFAULT_LOGIC=HOL
+ISABELLE_LOGIC=HOL
 
 
 ## Docs
diff -r 537f7281d42c -r 4e0bbfb113d5 etc/user-settings.sample
--- a/etc/user-settings.sample	Wed May 14 17:55:10 1997 +0200
+++ b/etc/user-settings.sample	Wed May 14 18:37:03 1997 +0200
@@ -21,7 +21,7 @@
 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
 #ISABELLE_OUTPUT=somewhere-else
 
-#DEFAULT_LOGIC=ZF
+#ISABELLE_LOGIC=ZF
 
 
 ###