improved performance of skolem cache, due to parallel map;
misc tuning, less verbosity;
This distribution of Poly/ML 5.2 has been compiled from the original
sources as follows:
tar xvzf polyml.5.2.tar.gz
cd polyml.5.2
chmod +x install-sh
./configure --prefix=/tmp/polyml --without-x
make
make install
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
platform-specific target directory (e.g. polyml-5.2/x86-linux). Note
that Isabelle/lib/scripts/polyml-platform identifies your platform.
Makarius
03-Jun-2008
$Id$