Hi all, I spotted this strange line in the NEWS (linked from the test website)
symp_def ~> (dropped, use symp_def and sym_def instead) cheers chris 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. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
