[isabelle-dev] Isabelle release test website

Johannes Hölzl 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.

 - Johannes

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.
>  	Makarius

More information about the isabelle-dev mailing list