[isabelle-dev] Towards the next release
makarius at sketis.net
Thu Apr 12 11:02:29 CEST 2012
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