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... best, lucas -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.