| ||||
| ||||
![]() Title:Isabelle/PIDE after 10 years of development Authors:Makarius Wenzel Conference:UITP 2018 Tags:Isabelle, jEdit, Prover IDE, TCP server and VSCode 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. Isabelle/PIDE after 10 years of development ![]() Isabelle/PIDE after 10 years of development | ||||
Copyright © 2002 – 2025 EasyChair |