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.
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
