removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
authorwenzelm
Sun Nov 30 14:03:45 2008 +0100 (2008-11-30)
changeset 289150642cbb60c98
parent 28914 f993cbffc42a
child 28916 0a802cdda340
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
NEWS
bin/isabelle-interface
etc/settings
lib/Tools/install
     1.1 --- a/NEWS	Sun Nov 30 12:58:20 2008 +0100
     1.2 +++ b/NEWS	Sun Nov 30 14:03:45 2008 +0100
     1.3 @@ -15,17 +15,18 @@
     1.4    - The former "isabelle" alias for "isabelle-process" has been
     1.5      removed (should rarely occur to regular users).
     1.6  
     1.7 -  - The "Isabelle" alias for "isabelle-interface" has been removed.
     1.8 +  - The former "isabelle-interface" and its alias "Isabelle" have been
     1.9 +    removed (interfaces are now regular Isabelle tools).
    1.10  
    1.11  Within scripts and make files, the Isabelle environment variables
    1.12  ISABELLE_TOOL and ISABELLE_PROCESS replace old ISATOOL and ISABELLE,
    1.13  respectively.  (The latter are still available as legacy feature.)
    1.14  
    1.15 -Also note that user interfaces are now better wrapped as regular
    1.16 -Isabelle tools instead of using the special isabelle-interface wrapper
    1.17 -(which can be confusing if the interface is uninstalled or changed
    1.18 -otherwise).  See "isabelle tty" and "isabelle emacs" for contemporary
    1.19 -examples.
    1.20 +The old isabelle-interface wrapper could react in confusing ways if
    1.21 +the interface was uninstalled or changed otherwise.  Individual
    1.22 +interface tool configuration is now more explicit, see also the
    1.23 +Isabelle system manual.  In particular, Proof General is now available
    1.24 +via "isabelle emacs".
    1.25  
    1.26  INCOMPATIBILITY, need to adapt derivative scripts.  Users may need to
    1.27  purge installed copies of Isabelle executables and re-run "isabelle
     2.1 --- a/bin/isabelle-interface	Sun Nov 30 12:58:20 2008 +0100
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,44 +0,0 @@
     2.4 -#!/usr/bin/env bash
     2.5 -#
     2.6 -# $Id$
     2.7 -# Author: Markus Wenzel, TU Muenchen
     2.8 -#
     2.9 -# Isabelle interface startup script.
    2.10 -
    2.11 -if [ -L "$0" ]; then
    2.12 -  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    2.13 -  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    2.14 -fi
    2.15 -
    2.16 -
    2.17 -## settings
    2.18 -
    2.19 -PRG="$(basename "$0")"
    2.20 -
    2.21 -ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    2.22 -source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    2.23 -
    2.24 -
    2.25 -## diagnostics
    2.26 -
    2.27 -function fail()
    2.28 -{
    2.29 -  echo "$1" >&2
    2.30 -  exit 2
    2.31 -}
    2.32 -
    2.33 -
    2.34 -## main
    2.35 -
    2.36 -case "$ISABELLE_INTERFACE" in
    2.37 -  none)
    2.38 -    INTERFACE="$ISABELLE_PROCESS"
    2.39 -    ;;
    2.40 -  */*)
    2.41 -    INTERFACE="$ISABELLE_INTERFACE"
    2.42 -    ;;
    2.43 -esac
    2.44 -
    2.45 -[ ! -x "$INTERFACE" ] && fail "Bad Isabelle interface: \"$ISABELLE_INTERFACE\""
    2.46 -
    2.47 -exec "$INTERFACE" "$@"
     3.1 --- a/etc/settings	Sun Nov 30 12:58:20 2008 +0100
     3.2 +++ b/etc/settings	Sun Nov 30 14:03:45 2008 +0100
     3.3 @@ -187,23 +187,6 @@
     3.4  
     3.5  
     3.6  ###
     3.7 -### Interfaces
     3.8 -###
     3.9 -
    3.10 -# Fallback: the null interface (pass-through to raw isabelle process).
    3.11 -ISABELLE_INTERFACE=none
    3.12 -
    3.13 -ISABELLE_INTERFACE=$(choosefrom \
    3.14 -  "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
    3.15 -  "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
    3.16 -  "/usr/local/ProofGeneral/isar/interface" \
    3.17 -  "/usr/share/ProofGeneral/isar/interface" \
    3.18 -  "/opt/ProofGeneral/isar/interface" \
    3.19 -  "/usr/share/emacs/ProofGeneral/isar/interface" \
    3.20 -  "$ISABELLE_INTERFACE")
    3.21 -
    3.22 -
    3.23 -###
    3.24  ### Proof General / Emacs
    3.25  ###
    3.26  
     4.1 --- a/lib/Tools/install	Sun Nov 30 12:58:20 2008 +0100
     4.2 +++ b/lib/Tools/install	Sun Nov 30 14:03:45 2008 +0100
     4.3 @@ -74,7 +74,7 @@
     4.4  if [ -n "$BINDIR" ]; then
     4.5    mkdir -p "$BINDIR" || fail "Bad directory: $BINDIR"
     4.6  
     4.7 -  for NAME in isabelle isabelle-process isabelle-interface
     4.8 +  for NAME in isabelle isabelle-process
     4.9    do
    4.10      BIN="$BINDIR/$NAME"
    4.11      DIST="$DISTDIR/bin/$NAME"