--- 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)