[isabelle-dev] \nexists

[Lars Hupel]

>> How can I extract this information from within Isabelle/Scala? How would
>> this information be presented?
> 
> It is emitted into the session log file. Build.parse_log may serve as an
> example how to access it.

Is there no structured way of accessing this information? At least it's
Scala but it's also still the moral equivalent of grepping files, a
technique I've managed to avoid so far.

Cheers
Lars