[isabelle-dev] NEWS: PIDE document maintains file content internally

Makarius wenzelm at in.tum.de
Tue Jan 10 17:47:49 CET 2017

On 08/01/17 20:02, Makarius wrote:
> *** Prover IDE -- Isabelle/Scala/jEdit ***
> * The PIDE document model maintains file content independently of the
> status of jEdit editor buffers. Reloading jEdit buffers no longer causes
> changes of formal document content. Theory dependencies are always
> resolved internally, without the need for corresponding editor buffers.
> The system option "jedit_auto_load" has been discontinued: it is
> effectively always enabled.
> This refers to Isabelle/9c69b495c05d.

Here is a small add-on (Isabelle/e7220f4de11f):

* The Theories dockable provides a "Purge" button, in order to restrict
the document model to theories that are required for open editor


More information about the isabelle-dev mailing list