I assumed that HOL itself was broken too. Is that not so?
No, it wasn't. The error happened only because some ROOT files in the AFP weren't updated.
I’m wondering how to test my changes to HOL itself (never mind the AFP).
Try testboard again. It should work now. You'll have to push a new changeset, which you can produce by using "hg commit --amend".
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
