[isabelle-dev] Isabelle2007 test version (update2)

[Makarius]

Still another test version of the forthcoming Isabelle2007 is available 
now:

  http://www4.in.tum.de/~wenzelm/test/website-test/index.html

Changes:

  - Website: virtual machine installation (1.2 GB Ubuntu Linux image).

  - Poly/ML: latest snapshot fixes problems on x86-darwin (crash after 
    building actual executables, e.g. if ML_SYSTEM=polyml-5.0 is 
    enforced).

  - Poly/ML: some more precompiled binaries, but no Isabelle images.

  - ProofGeneral.init_pgip: avoid spurious output before proper protocol 
    message initialization.

  - ProofGeneral.inform_file_processed: more robust treatment of user 
    errors avoids stale theory problems later on.


	Makarius