System description: Isabelle/jEdit in 2014
Author: Makarius Wenzel
Paper Information
| Title: | System description: Isabelle/jEdit in 2014 |
| Authors: | Makarius Wenzel |
| Proceedings: | UITP 2014 Proceedings |
| Editors: | Bruno Woltzenlogel Paleo and Christoph Benzmüller |
| Keywords: | Isabelle, jEdit, Prover IDE |
| Abstract: | ABSTRACT. This is an updated system description for Isabelle/jEdit, according to the state of the official release Isabelle2013-2 (December 2013) and the forthcoming release Isabelle2014 that is anticipated for Summer 2014. |
| Pages: | 9 |
| Talk: | Jul 17 16:30 |
| Paper: |  |