[isabelle-dev] Status of afp-2015
makarius at sketis.net
Tue Apr 28 19:26:45 CEST 2015
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 ...
More information about the isabelle-dev