[isabelle-dev] Isabelle_11-Jan-2013

Makarius makarius at sketis.net
Fri Jan 11 23:40:52 CET 2013

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 

Now is also a good moment to make last checks of CONTRIBUTORS and NEWS.


More information about the isabelle-dev mailing list