[isabelle-dev] Status of afp-2015

Makarius makarius at sketis.net
Tue Apr 28 23:16:39 CEST 2015

On Tue, 28 Apr 2015, Gerwin Klein wrote:

> Have also kicked off a full test on afp-2015 now and if all goes well, 
> I’ll switch it to automated once a day until the release.

> Looks like another bit of infrastructure overhaul is needed in my 
> scripts for running afp-test in parallel for an upcoming release and 
> devel.
> I don’t expect that things will break much, though.

OK.  My manual test was succesful with Isabelle/18267ceb10b5 and 
AFP/d8cda568cd81 -- it takes about 2.5h total.

I don't expect significant changes to the Isabelle2015 anymore, especially 
not changes in the proof tools and libraries.


More information about the isabelle-dev mailing list