>> 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev