Ah yes, I completely forgot about that. Will do. On 05/01/16 14:27, Makarius wrote:
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