[isabelle-dev] Isabelle2007 test version

[Makarius]

Another test version of the forthcoming Isabelle2007 is available now:

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

Changes:

  - latest Proof General snapshot, fixes problem with proof-warning-face 
    in GNU Emacs

  - latest Poly/ML 5.1 snapshot, fixes various problems with signal 
    handling on Mac OS X (CTRL-C crashes, sledgehammer crash)

  - last minute update of Metis prover from Joe Hurd


	Makarius