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