On Mon, 11 Jan 2016, Manuel Eberl wrote:
It looks like I'm the one who broke it. It does not work after my commit
3201ddb00097, but it still works in Fabian's d8e7738bd2e9 immediately before.
Just a reminder of the normal routine: push to the Isabelle repository
always requires a full "isabelle build -a" -- there is no way around it.
It would be also nice to have a continously working AFP, as we are
approaching the release.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
