[isabelle-dev] Isabelle2013/ANNOUNCE

[Makarius]

Dear all,

this is just the usual struggle to distill the ANNOUNCE file from NEWS and 
CONTRIBUTORS.  The current version is here: 
https://bitbucket.org/isabelle_project/isabelle-release/src/4f89c21ca5670f4c294b47d2986ac5636ea1da83/ANNOUNCE

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


 	Makarius