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