*** 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.

isabelle-dev mailing list

Reply via email to