Re: [isabelle-dev] Towards the release
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
Re: [isabelle-dev] Towards the release
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