configure

Removed obsolete functions dealing with flex-flex constraints.

+
−#!/bin/sh
+
−#
+
−# $Id$
+
−# Author: Markus Wenzel, TU Muenchen
+
−# License: GPL (GNU GENERAL PUBLIC LICENSE)
+
−#
+
−# configure - adapt Isabelle distribution to system environment
+
−
+
−## patch scripts
+
−
+
−cd "`dirname "$0"`"
+
−
+
−if bash -c :
+
−then
+
−  bash lib/scripts/patch-scripts.bash
+
−else
+
−  echo "FATAL ERROR: bash not found!"
+
−  exit 2
+
−fi