On 08/04/2019 18:15, Lars Hupel wrote:
>
> Maybe Makarius could change that behaviour and instead of "build"
> refusing to build anything, only exclude malformed sessions.
Such a total existence failure of the session graph is hard to pin down:
it would require adhoc rearrangements of the graph to "repair" it.
Note that a quick sanity check like "isabelle build -na -d '$AFP'"
detects such integrity errors: but even that takes a bit of time,
because AFP so become so large.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
