[isabelle-dev] Isabelle release test website
hoelzl at in.tum.de
Wed Apr 18 15:26:08 CEST 2012
When the testboard gives me green light I will tomorrow also push a
reworked Probability theory which only takes 2 min to build instead of 5
min as before. I also want to push a new version of the Floats which
uses the new lifting infrastructure.
Both changes do not change any ML files, and there are only smaller
changes to the HOL image, so I hope it is still okay to push this.
Am Mittwoch, den 18.04.2012, 15:18 +0200 schrieb Makarius:
> 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.
More information about the isabelle-dev