[isabelle-dev] Isabelle2007 test version

Makarius makarius at sketis.net
Wed Nov 14 15:37:58 CET 2007

Another test version of the forthcoming Isabelle2007 is available now:



  - 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


More information about the isabelle-dev mailing list