Isabelle/PIDE after 10 years of development
Author: Makarius Wenzel
Paper Information
| Title: | Isabelle/PIDE after 10 years of development |
| Authors: | Makarius Wenzel |
| Proceedings: | UITP Full Papers |
| Editors: | Mateja Jamnik and Christoph Lüth |
| Keywords: | Isabelle, Prover IDE, jEdit, VSCode, TCP server |
| Abstract: | ABSTRACT. The beginnings of the Isabelle Prover IDE framework (Isabelle/PIDE) go back to the year 2008. This is a report on the project after 10 years, with system descriptions for various PIDE front-ends, namely (1) Isabelle/jEdit, the main PIDE application and default Isabelle user-interface, (2) Isabelle/VSCode, an experimental application of the Language Server Protocol in Visual Studio Code (by Microsoft), and (3) a headless PIDE server with JSON protocol messages over TCP sockets. |
| Pages: | 12 |
| Talk: | Jul 13 14:00 (Session 87N: UITP 3/ Isabelle 3 Joint Session) |
| Paper: |  |