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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
