[isabelle-dev] Isabelle2009 test version

Makarius makarius at sketis.net
Thu Apr 9 00:08:08 CEST 2009

Another test version of the Isabelle2009 release is now available from 

The main changes:

   * Slightly more up-to-date website.

   * Update of E prover distribution to 1.0-004 (this changes the internal
     prover output format a bit).

   * No change of Proof General, so it will be just 3.7.1 for the release.


More information about the isabelle-dev mailing list