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
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