*** 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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
