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. Clemens