[isabelle-dev] Towards release
makarius at sketis.net
Sun Sep 18 17:38:58 CEST 2011
After a few more rounds of fine tuning, my impression is that we are
is a tentative announcement based on current NEWS. Is there anything
missing? Some of the collective tool and library changes may be
emphasized further, if they can stand on their own as separate item.
Are there any further things in the pipeline? In the final phase one
needs a bit more organization than the "push first, fix later" cycle that
occasionally happens outside this special season.
More information about the isabelle-dev