HomeIsabelle/Phabricator
Message logs from session build database

System

  • 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.
User
Projects
None
Subscribers
None

Event Timeline