[isabelle-dev] NEWS

* Session HOL-Analysis: more material involving arcs, paths, covering spaces, innessential maps, retracts. Major results include the Jordan Curve Theorem. ___ isabelle-dev mailing list isabelle-...@in.tum.de

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

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