[isabelle-dev] NEWS: editor reactivity and State panel

Makarius makarius at sketis.net
Mon Oct 19 17:58:28 CEST 2015

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Improved scheduling for urgent print tasks (e.g. command state output,
interactive queries) wrt. long-running background tasks.

* The State panel manages explicit proof state output, with jEdit action
"isabelle.update-state" (shortcut S+ENTER) to trigger update according
to cursor position. Option "editor_output_state" controls implicit proof
state output in the Output panel: suppressing this reduces resource
requirements of prover time and GUI space.

* The text overview column (status of errors, warnings etc.) is updated
asynchronously, leading to much better editor reactivity. Moreover, the
full document node content is taken into account.

E.g. see current Isabelle/3590367b0ce9.  These NEWS items are already 
there for some time.  Taken together they might help in situations of 
really big proof states, to request output manually on demand. The text 
overview painting is only related to the general theme to manage things 
more asynchronously for improved reactivity.


More information about the isabelle-dev mailing list