HomeIsabelle/Phabricator
Phame Blogs Isabelle NEWS J66
Support for interactive document preparation in PIDE

Document preparation

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

This refers to Isabelle/f6ecd23c83cd.

Previous Post
Demo documents for well-known LaTeX styles
Next Post
Significantly reduced ML heap usage
Written by makarius on Dec 21 2022, 10:43 PM.
User
Projects
None
Subscribers
None

Event Timeline