[isabelle-dev] Isabelle2013/ANNOUNCE

Makarius makarius at sketis.net
Fri Jan 25 15:39:43 CET 2013

Dear all,

this is just the usual struggle to distill the ANNOUNCE file from NEWS and 
CONTRIBUTORS.  The current version is here: 

What else needs to be advertized prominently?  It is also possible to 
point this out to me by private mail.


More information about the isabelle-dev mailing list