[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Tue Jan 5 14:27:20 CET 2016


On Mon, 4 Jan 2016, Manuel Eberl wrote:

> I completed the merge I mentioned in my previous email.

Fine.  This is Isabelle/b0f941e207cf.

Do you want to write an entry for NEWS and CONTRIBUTORS?


 	Makarius



More information about the isabelle-dev mailing list