On Mon, 23 Sep 2013, Manuel Eberl wrote:
I sent my changes to Alexander Krauss last Wednesday so that he can review them.
We are now getting very close to the fork-point for the release. So can you just post the changeset here, or send it to me privately?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
