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

2017-01-10 Thread Makarius
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

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

2017-01-09 Thread Lawrence Paulson
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

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

2017-01-08 Thread Makarius
*** 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