Email Gateway (Jan 12 2026 at 16:00): Email Gateway (Jan 12 2026 at 16:00):From: Qiyuan XU <cl-isabelle-users@lists.cam.ac.uk>
Hi, dear colleagues in Isabelle,
May I enquire whether Isabelle/VSCode supports the Remote SSH plugin --- the VS Code's native plugin that allows you to run Isabelle remotely on a server and open the GUI locally? If not, I wish to contribute to implement it.
Best wishes
Qiyuan
CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents.
Towards a sustainable earth: Print only when necessary. Thank you.
Email Gateway (Jan 12 2026 at 19:13):From: Makarius <makarius@sketis.net>
On 12/01/2026 17:00, Qiyuan XU (via cl-isabelle-users Mailing List) wrote:
May I enquire whether Isabelle/VSCode supports the Remote SSH plugin --- the
VS Code's native plugin that allows you to run Isabelle remotely on a server
and open the GUI locally? If not, I wish to contribute to implement it.
Such projects need a proper budget one the one side, and someone who is really
responsible for that particular subsystem on the other side.
Both Fabian Huch and myself have been involved in Isabelle/VSCode in recent
years, but my own efforts to re-integrate contributed student projects
properly for Isabelle2025-1 did not succeed more than half way.
Makarius
Last updated: Jan 31 2026 at 12:53 UTC