Phame Blogs Isabelle NEWS J29
Message logs from session build database
- The command-line tool isabelle log prints prover messages from the build database of the given session, following the the order of theory sources, instead of erratic parallel evaluation. Consequently, the session log file is restricted to system messages of the overall build process, and thus becomes more informative.
This refers to Isabelle/1dc2ad97e062.
Written by makarius on Dec 11 2020, 12:09 AM.