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
On 8 Jan 2017, at 19:02, Makarius wrote:
>
> * 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 nee