On 19/07/16 10:17, Lars Hupel wrote: >>> 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.
It is already a bit more formal, due to the \f markers and the YXML data representation. One day it should all become PIDE document markup, i.e. YXML everywhere without plain text in between. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev