Session build progress is now more detailed: percentage and cumulated
timing of running theories is continuously updated, while the finished
state (100%) remains.
* System *
System option "build_progress_detailed" tells "isabelle build" to
output detailed information while processing theories, notably the
percentage and cumulated timing. This requires an output channel
(terminal) that supports ANSI control sequences, notably for cursor
movement and deletion of previous output. The default is to output only
the finished state (100%) with its timing information, without using any
ANSI control sequences.
This refers to Isabelle/8811e691c96e.
Here is an example:
isabelle build -j2 -a -v -o build_progress_detailed
Email Gateway (Oct 19 2025 at 18:59):