[isabelle-dev] Isabelle NEWS as a blog ?

Clemens Ballarin ballarin at in.tum.de
Sun Jul 12 21:44:10 CEST 2009

Quoting Lucas Dixon <ldixon at inf.ed.ac.uk>:

> What do people think of having the Isabelle NEWS file as a blog?
> I suspect people might be better at using it (both reading and
> contributing) than the current NEWS file...

You would still want the NEWS to be under version control along with  
the sources.


More information about the isabelle-dev mailing list