v0.1.0-alpha.5

Installing this build

Per-platform .vsix (recommended — Java is bundled)

Download the asset whose suffix matches the host where the VS Code extension runs. For SSH-Remote, WSL, or dev-container setups, that's the remote / target host's OS + CPU, not your laptop's.

Asset suffix	Host platform
-win32-x64.vsix	Windows x64
-win32-arm64.vsix	Windows on ARM
-linux-x64.vsix	Linux x64 (glibc)
-linux-arm64.vsix	Linux ARM64 (glibc)
-alpine-x64.vsix	Alpine / musl x64
-alpine-arm64.vsix	Alpine / musl ARM64
-darwin-arm64.vsix	macOS Apple silicon

• macOS Intel users: install the universal .vsix instead (no platform suffix). Requires Java 21+ on PATH. The dedicated macOS Intel build was dropped in v0.1.0-alpha.3 due to chronic macos-13 runner pool unavailability — see AGENTS.md §17.

Install via either:

• VS Code GUI — Extensions view → … menu → Install from VSIX… → pick the downloaded file; or
• Command line — code --install-extension <downloaded>.vsix.

Universal .vsix (isabelle-pide-vscode-0.1.0-alpha.5.vsix)

For platforms not listed above (NixOS, *BSD, exotic CPU archs, macOS Intel) or bring-your-own-Java setups. Requires Java 21+ on PATH.

Runtime prerequisites

• Java 21+ on PATH — only required by the universal .vsix. Per-platform builds bundle Eclipse Temurin 21 under extension/jre/.
• Isabelle 2019 or newer with isabelle on PATH (or set isabelle.executablePath) for build / language-server / sledgehammer features. The extension still activates without it; basic syntax features work, and a Setup Walkthrough surfaces any missing piece.

See the README and THIRD_PARTY_NOTICES.md for full installation guidance and the bundled-JRE license summary.

What's Changed

• docs: alpha polish pass — smoke session, doc drift, beta criteria, screenshot spec by @Arthur742Ramos in #91
• feat(pide): Phase 3c — range-filtered snapshot.messages for per-cursor proof state by @Arthur742Ramos in #94
• chore(release): v0.1.0-alpha.5 by @Arthur742Ramos in #95

Full Changelog: v0.1.0-alpha.4...v0.1.0-alpha.5