get_thydata accesses the second component of the data field. This component
used to be empty until set at the end of loading an ML file. Now the second
component is already set when the thy file has ben read.
#!/bin/sh
#
# $Id$
#
# configure - adapt Isabelle distribution to system environment
## patch scripts
if bash -c ""
then
bash lib/scripts/patch-scripts.bash
else
echo "FATAL ERROR: bash not found!"
exit 2
fi