[isabelle-dev] HOL-Codegenerator_Test error

Lars Hupel hupel at in.tum.de
Tue Jan 12 08:20:05 CET 2016

> Just a reminder of the normal routine: push to the Isabelle repository
> always requires a full "isabelle build -a" -- there is no way around it.

The testboard still executes "isabelle build -a". It's not yet building
the AFP, though, but it's on my list.


More information about the isabelle-dev mailing list