System description: Isabelle/jEdit in 2014
Makarius Wenzel (Univ. Paris-Sud, Laboratoire LRI, UMR8623)
TL;DR
This paper provides an updated description of the Isabelle/jEdit system as of 2014, detailing new features like asynchronous functions, completion, navigation, and auxiliary file management within the document model.
Contribution
It introduces new PIDE concepts and updates the system description for Isabelle/jEdit 2014, enhancing user interaction and document management capabilities.
Findings
Implementation of asynchronous print functions
Introduction of syntactic and semantic completion
Enhanced editor navigation and auxiliary file management
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.