[isabelle-dev] Isabelle release test website

Makarius makarius at sketis.net
Wed Apr 18 15:18:21 CEST 2012


In preparation of the release, the following test website is now 
available: http://www4.in.tum.de/~wenzelm/test/website/

So far this is just for warming up, and to see pending issues of overall 
system integration.  I have already updated many of the contributing 
components: Scala, Java, Emacs, some ATPs etc. -- so it is worth looking 
if it already works or not.

There are still 2 weeks left to consolidate and converge the main Isabelle 
repository.  This means to wrap up things that are almost ready to be 
given to end-users, and update NEWS/CONTRIBUTORS accordingly.  Things that 
are not ready should be put in a state where they don't interfere with 
officially published stable functionality.

In the first week of May there will then be the fork to the release 
repository, which means changes of critical issues can still be sent via 
email to me, but any other ongoing development will be for the release 
after the next release on the main Isabelle repository.


 	Makarius


More information about the isabelle-dev mailing list