系统描述：2014 年的 Isabelle/jEdit
计算机科学中的逻辑
2014-10-31 v1 人机交互
摘要
这是根据官方发布的 Isabelle2014（2014 年 8 月）更新的 Isabelle/jEdit 系统描述。本文解释了以下新的 PIDE 概念：异步打印函数和文档覆盖、语法和语义补全、编辑器导航以及文档模型内辅助文件的管理。
引用
@article{arxiv.1410.8222,
title = {System description: Isabelle/jEdit in 2014},
author = {Makarius Wenzel},
journal= {arXiv preprint arXiv:1410.8222},
year = {2014}
}
备注
In Proceedings UITP 2014, arXiv:1410.7850