[isabelle-dev] Duplicate theory??

[Makarius]

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