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

Makarius 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.


	Makarius


More information about the isabelle-dev mailing list