System description: Isabelle/jEdit in 2014
Logic in Computer Science
2014-10-31 v1 Human-Computer Interaction
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.
Cite
@article{arxiv.1410.8222,
title = {System description: Isabelle/jEdit in 2014},
author = {Makarius Wenzel},
journal= {arXiv preprint arXiv:1410.8222},
year = {2014}
}
Comments
In Proceedings UITP 2014, arXiv:1410.7850