*** 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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
