# HG changeset patch
# User wenzelm
# Date 1373662160 -7200
# Node ID c1adf8b2eccf3c7e4d14d0681c1a5f10759594de
# Parent  564a108d722f4d3cbac17c16dcdecb612973dd41
removed unused Predicate_Compile component setup;

diff -r 564a108d722f -r c1adf8b2eccf etc/components
--- 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
diff -r 564a108d722f -r c1adf8b2eccf src/HOL/Tools/Predicate_Compile/etc/settings
--- 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"
-
diff -r 564a108d722f -r c1adf8b2eccf 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