Isabelle Revamp 0.2.3

• Fixed highlighting breaking for the rest of a theory after an attribute
  containing a ] inside a term, such as [of "[0..<n]"]: code was coloured
  as strings and strings as code. Nested attributes such as [OF foo[of x]]
  are also highlighted correctly.

Isabelle Revamp 0.2.2

• Warns once if Isabelle is not Isabelle2025-2, the release this extension is
  built for: some features may not work. Isabelle Revamp: Setup check shows
  the same. Support for Isabelle2026 will follow its release.

isabelle-vs-code-extension-v0.2.1

Full Changelog: v0.1.0...v0.2.1

Isabelle Revamp 0.1.0

VS Code extension: Isabelle/HOL goals, proof graph, MCP server for AI agents. Install: code --install-extension isabelle-revamp-0.1.0.vsix. Needs Isabelle2025-2.