[isabelle-dev] Towards the next Isabelle release

Makarius makarius at sketis.net
Tue Jun 8 12:12:08 CEST 2010

The current status is as follows:

   * isatest refers to http://isabelle.in.tum.de/repos/isabelle-release
     until final shipment of Isabelle2009-2

   * http://isabelle.in.tum.de/repos/isabelle is back to post-release mode
     and open for submissions as usual.  (The two branches need to be kept
     disjoint, though).

   * There is a minimal test on x86-linux for
     http://isabelle.in.tum.de/repos/isabelle with results being published
     on testboard.  (Maybe Alex can explain how to access them.)

   * http://www4.in.tum.de/~wenzelm/test/isabelle/ refers to
     isa2009-2-test2 consistently, both the website and packages.


More information about the isabelle-dev mailing list