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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
