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
*** 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