Isabelle/jEdit NEWS
Author: Makarius Wenzel
Paper Information
| Title: | Isabelle/jEdit NEWS |
| Authors: | Makarius Wenzel |
| Proceedings: | Isabelle 2014 Papers (Unrefereed) |
| Editors: | Tobias Nipkow, Lawrence Paulson and Makarius Wenzel |
| Keywords: | Isabelle, jEdit, Prover IDE |
| Abstract: | ABSTRACT. A system demo of Isabelle/jEdit in the forthcoming Isabelle2014 release (summer 2014). |
| Pages: | 2 |
| Talk: | Jul 13 15:00 |
| Paper: |  |