System description: Isabelle/jEdit in 2014
arXiv:1410.8222 · doi:10.4204/EPTCS.167.10
Abstract
This is an updated system description for Isabelle/jEdit, according to the official release Isabelle2014 (August 2014). The following new PIDE concepts are explained: asynchronous print functions and document overlays, syntactic and semantic completion, editor navigation, management of auxiliary files within the document-model.
In Proceedings UITP 2014, arXiv:1410.7850
References in corpus (2)
Cited by in corpus (5)
- Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
- Technologies for "Complete, Transparent & Interactive Models of Math" in Education
- Deeply Integrating C11 Code Support into Isabelle/PIDE
- Lucas-Interpretation on Isabelle's Functions
- Interactive Proof Presentations with Cobra