> 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. Cheers Lars