Hi Makarius,
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.
It's nice to have
Dear all,
this week is left for finalizing the regular Isabelle repository for the
release. Then the usual fork to the isabelle-release repository will
happen, and release candidates appear for public testing on isabelle-users
like last time.
Some very quick guys have already started
