[isabelle-dev] Towards the next release

[Makarius]

Dear all,

we need to get to a more concrete release schedule.  Presently I would 
like to aim for late May, which means we need to start consolidating and 
converging about now.

Are there any further big things in the pipeline?

This is also a good point to populate NEWS, CONTRIBUTORS, and update 
manuals to cover new things.  (I am speaking to myself here as well.)


 	Makarius