[isabelle-dev] Towards the next release

Makarius makarius at sketis.net
Thu Apr 12 11:02:29 CEST 2012

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


More information about the isabelle-dev mailing list