makarius at sketis.net
Fri Jan 11 23:40:52 CET 2013
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
Now is also a good moment to make last checks of CONTRIBUTORS and NEWS.
More information about the isabelle-dev