[isabelle-dev] NEWS: Support for interactive document preparation in PIDE

[Makarius]

*** Document preparation ***

* Support for interactive document preparation in PIDE, notably via the
Isabelle/jEdit Document panel.


This refers to Isabelle/b4a9c907e062. It is an important checkpoint where many 
building blocks from the past few weeks, months, years are fit together, to 
provide basic functionality that works.

Further small and big things will happen in this area. Ultimately, Isabelle is 
a document preparation system and that aspect needs to be integrated 
adequately into the PIDE game engine.


	Makarius