Makarius Wenzel (Univ. Paris-Sud, Laboratoire LRI, UMR8623) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.167.10 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |