[isabelle-dev] Isabelle NEWS as a blog ?

Lucas Dixon ldixon at inf.ed.ac.uk
Sat Jul 11 06:27:51 CEST 2009

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


The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the isabelle-dev mailing list