--- a/lib/Tools/emacs Mon Jun 30 10:34:28 2014 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# DESCRIPTION: Proof General / Emacs interface wrapper -- Proof General legacy
-
-
-## diagnostics
-
-function fail()
-{
- echo "$1" >&2
- exit 2
-}
-
-
-## main
-
-[ -z "$PROOFGENERAL_HOME" ] && fail "Missing Proof General installation (PROOFGENERAL_HOME)"
-
-INTERFACE="$PROOFGENERAL_HOME/isar/interface"
-[ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\""
-
-#legacy settings
-export ISABELLE="$ISABELLE_PROCESS"
-export ISATOOL="$ISABELLE_TOOL"
-
-exec "$INTERFACE" "$@"