System description: Isabelle/jEdit in 2014
arXiv:1410.8222v116 citations
Originality Synthesis-oriented
AI Analysis
This is an incremental update to a domain-specific tool for theorem proving researchers and users.
The paper describes updates to the Isabelle/jEdit proof assistant for the 2014 release, introducing new PIDE concepts such as asynchronous print functions and document overlays to enhance functionality.
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.