[isabelle-dev] \nexists

Lars Hupel hupel at in.tum.de
Tue Jul 19 10:17:19 CEST 2016


>> 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



More information about the isabelle-dev mailing list