On Tue, 28 Apr 2015, Gerwin Klein wrote:
You’re right, it is currently not tested automatically. I was going to
set this up on the weekend, but didn’t manage to.
As far as I’m aware, there weren’t any commits to afp-2015 after the
fork apart from one update that was a leaf node that I checked manually.
Isabelle-RC has moved, though.
With the formal changesets, it is easy to check the true diffs, but there
is nothing significant to see.
I've just made yet another manual test: at least one of my AFP directory
locations was on a different repository clone. Test is still running ...
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
