[isabelle-dev] Isabelle release test website
c-sterna at jaist.ac.jp
Wed Apr 25 10:35:54 CEST 2012
I spotted this strange line in the NEWS (linked from the test website)
symp_def ~> (dropped, use symp_def and sym_def instead)
On 04/18/2012 10:18 PM, Makarius wrote:
> 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev