diff -r 2373b4c61111 -r 577f029fde39 lib/Tools/findlogics
--- a/lib/Tools/findlogics	Mon Jun 30 10:34:28 2014 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,42 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Markus Wenzel, TU Muenchen
-#
-# DESCRIPTION: collect heap names from ISABELLE_PATH -- Proof General legacy
-
-
-PRG=$(basename "$0")
-
-function usage()
-{
-  echo
-  echo "Usage: isabelle $PRG"
-  echo
-  echo "  Collect heap file names from ISABELLE_PATH."
-  echo
-  exit 1
-}
-
-
-## main
-
-[ "$#" -ne 0 ] && usage
-
-declare -a LOGICS=()
-declare -a ISABELLE_PATHS=()
-
-splitarray ":" "$ISABELLE_PATH"; ISABELLE_PATHS=("${SPLITARRAY[@]}")
-
-for DIR in "${ISABELLE_PATHS[@]}"
-do
-  DIR="$DIR/$ML_IDENTIFIER"
-  for FILE in "$DIR"/*
-  do
-    if [ -f "$FILE" ]; then
-      NAME=$(basename "$FILE")
-      LOGICS["${#LOGICS[@]}"]="$NAME"
-    fi
-  done
-done
-
-echo $({ for L in "${LOGICS[@]}"; do echo "$L"; done; } | sort | uniq)