makarius at sketis.net
Fri Jan 25 15:39:43 CET 2013
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