[isabelle-dev] NEWS: Support for interactive document preparation in PIDE
makarius at sketis.net
Wed Dec 21 22:41:16 CET 2022
*** 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.
More information about the isabelle-dev