Stream: Mirror: Isabelle Development Mailing List

Topic: Isabelle/VSCode: update to recent VSCodium 1.104

Email Gateway (Sep 12 2025 at 21:26):

From: Makarius <makarius@sketis.net>
* Isabelle/VSCode Prover IDE *

• Update to recent VSCode 1.104 / VSCodium 1.104.06131, Electron 37.3.1,
  Chromium 138.0.7204.235, and Node.js 22.18.0. Note that some Linux
  systems (e.g. Ubuntu 24.04) require special file permissions to run
  "isabelle vscode" or "isabelle electron" like this:

  cd .../vscodium-1.104.06131/x86_64-linux
  sudo chown root:root chrome-sandbox
  sudo chmod 4755 chrome-sandbox

This refers to Isabelle/de5f468de460.

That is the result of struggling for approx. 2 weeks with the convoluted build
process for VSCode (or rather VSCodium). Until vscodium-1.70.1 from Aug-2022
it was possible to build all platforms on Linux, even the native Windows
version. Now it is necessary to use a native platform with native build tools:
this is mildly annoying for macOS, and very challenging for Windows. It
requires full Visual Studio C++ with strange add-on libraries, a Python
installation for Windows, and a carefully crafted Msys2 environment.

Thus even the dreaded "node-gyp rebuild node-pty" works eventually: resulting
in Unix-style Terminal experience in VSCode, on all platforms.

I could tell more stories from the depths of the VSCode + Electron + Node.js
environment. To continue this much further we shall require substantial
resources eventually.

For now, I will merely brush up Isabelle/VSCode a little bit for the coming
release, integrating the last 2-3 student projects properly.

Makarius

Last updated: Sep 15 2025 at 08:27 UTC