Dear all,
http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Jan-2013/ is an early
snapshot for the coming release. It is mainly a test of Isabelle
packaging technology (not web technology). Components are taken from the
Admin/components/ space within the repository.
There is mainly next week left to wrap-up Isabelle repository content.
Then we can start the formal RC-stage of official release candidates with
public testing etc. over a few weeks, so that liftoff can happen in
February.
Now is also a good moment to make last checks of CONTRIBUTORS and NEWS.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev