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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
