I assumed that HOL itself was broken too. Is that not so? I’m wondering how to test my changes to HOL itself (never mind the AFP).
Larry > On 8 Apr 2019, at 17:15, Lars Hupel <[email protected]> wrote: > >> The policy for the AFP has always been in the past: it is ok to fix >> things a few days later. Not sure why this deserves the adjective >> "catastrophic". > > "catastrophic" because the failure prevented the *entire AFP* from being > built, hence the error message. > > Maybe Makarius could change that behaviour and instead of "build" refusing to > build anything, only exclude malformed sessions. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
