On 04/12/2012 11:02 AM, Makarius wrote:
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?
We still have the locale browser in the pipeline. Do you have objections
to integrate the tool you have reviewed two months ago?
Our private discussion yielded further source code improvements, however
the tool is already in a fully functional state, and the source code
improvements would not change so much from a user's point of view.
Lukas
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev