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.
- Projects
- None
- Subscribers
- None
This refers to Isabelle/f6ecd23c83cd.