[isabelle-dev] Isabelle2009 test version

[Makarius]

Another test version of the Isabelle2009 release is now available from 
http://www4.in.tum.de/~wenzelm/test/website/index.html

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.


 	Makarius