src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version

--- a/src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version	Fri Jul 12 21:14:54 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Lukas Bulwahn, TU Muenchen, 2010
-#
-# Determine SWI-Prolog version
-
-if [ "$ISABELLE_SWIPL" != "" ]; then
-  VERSION="$("$ISABELLE_SWIPL" --version)"
-  REGEXP='^SWI-Prolog version ([0-9\.]*) for .*$'
-  if [[ "$VERSION" =~ $REGEXP ]]; then
-    echo -n "${BASH_REMATCH[1]}"
-  else
-    echo -n undefined
-  fi
-fi