2000 character limit reached
System description: Isabelle/jEdit in 2014 (1410.8222v1)
Published 30 Oct 2014 in cs.LO and cs.HC
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.