--- a/etc/components Fri Jul 12 21:14:54 2013 +0200
+++ b/etc/components Fri Jul 12 22:49:20 2013 +0200
@@ -6,7 +6,6 @@
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares
src/HOL/Tools/ATP
-src/HOL/Tools/Predicate_Compile
src/HOL/Tools/Sledgehammer/MaSh
src/HOL/Tools/SMT
src/HOL/TPTP
--- a/src/HOL/Tools/Predicate_Compile/etc/settings Fri Jul 12 21:14:54 2013 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-ISABELLE_PREDICATE_COMPILE="$COMPONENT"
-
--- 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