[isabelle-dev] Isabelle release test website
makarius at sketis.net
Wed Apr 18 15:18:21 CEST 2012
In preparation of the release, the following test website is now
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.
More information about the isabelle-dev