After a few more rounds of fine tuning, my impression is that we are
slowly converging.
http://isabelle.in.tum.de/repos/isabelle/file/f80d918f8ac0/ANNOUNCE there
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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
