> It's worse. The entire build doesn't work, but that's not your fault. In > fact, this is the first faulty changeset: > > <https://isabelle.in.tum.de/repos/isabelle/rev/3a1b2d8c89aa>
I have pushed an update that added some session imports to the AFP: <https://bitbucket.org/isa-afp/afp-devel/commits/440a7a60b0dc560def3861aa9899c97d0f31b23b> This should hopefully bring our build status back from "catastrophic red" to "red". _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
