[isabelle-dev] NEWS: Command-line tool "isabelle log" and option "show_states"

Makarius makarius at sketis.net
Fri Sep 9 16:15:59 CEST 2022

*** System ***

* Command-line tool "isabelle log" has been refined to support multiple
sessions, and to match messages against regular expressions (using Java
Pattern syntax).

* System option "show_states" controls output of toplevel command states
(notably proof states) in batch-builds; in interactive mode this is
always done on demand. The option is relevant for tools that operate on
exported PIDE markup, e.g. document presentation or diagnostics. For

   isabelle build -o show_states FOL-ex
   isabelle log -v -U FOL-ex

Option "show_states" is also the default for the configuration option
"show_results" within the formal context.

Note that printing intermediate states may cause considerable slowdown
in building a session.

This refers to Isabelle/13ae8dff47b6.


More information about the isabelle-dev mailing list