removed lst, strlen, strlen_real, spc, sym;
added chunks, raw_str;
pass all strings through Symbol.output (beware: this is done at
different times for str and spacing/linebreaks!);
speedup formatting (uses Buffer.T);
tuned;
#!/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