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