explicit handling of ML environment within generic context;
eval_wrapper: non-critical, struct_name is always Isabelle, tuned comments;
eval_in/evaluate expect immutable Proof.context value;
use_text/use_file now depend on explicit ML name space;
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$