[isabelle-dev] NEWS: Theories dockable indicates the overall status of checking
makarius at sketis.net
Tue Aug 15 11:49:15 CEST 2017
*** Prover IDE -- Isabelle/Scala/jEdit ***
* The Theories dockable indicates the overall status of checking of each
entry. When all forked tasks of a theory are finished, the border is
painted with thick lines; remaining errors in this situation are
represented by a different border color.
This refers to Isabelle/457da4e299de. Behind it is a more profound
change in the PIDE model to say explicitly, when a theory node is fully
"consolidated", i.e. all forks and potential sub-forks are finished.
This will eventually become important for PIDE in batch mode, or rather
"headless PIDE" interaction under program control.
More information about the isabelle-dev