v0.1.0-alpha.6

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.6.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(release): harden alpha.5 release gate by @Arthur742Ramos in #98
• ci(tier2): automate real Isabelle smoke checks by @Arthur742Ramos in #99
• fix(setup): harden current mode diagnostics by @Arthur742Ramos in #100
• docs: clarify alpha to beta readiness by @Arthur742Ramos in #101
• chore(release): v0.1.0-alpha.6 by @Arthur742Ramos in #102
• docs: align alpha.6 release references by @Arthur742Ramos in #103
• chore(release): harden release readiness by @Arthur742Ramos in #104
• Surface PIDE proof-state and Sledgehammer trust indicators by @Arthur742Ramos in #105
• ci: harden Tier-2 smoke automation by @Arthur742Ramos in #106
• feat(ux): improve Isabelle command discoverability by @Arthur742Ramos in #108
• fix(setup): clarify Windows Isabelle launcher failures by @Arthur742Ramos in #110
• feat(setup): add actionable current-mode next steps by @Arthur742Ramos in #107
• feat(lsp): add one-click auto-start retry by @Arthur742Ramos in #109
• chore(release): v0.1.0-alpha.6 by @Arthur742Ramos in #111

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