[isabelle-dev] Status of afp-2015

Makarius 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 mailing list