v0.2.5

What's Changed

• Fix error underlining and popup problems by @lukaszcz in #153
• Highlight matching parentheses by @lukaszcz in #148

Full Changelog: v0.2.4...v0.2.5

v0.2.4

What's Changed

• Add error lens extension to better error messages by @jonaprieto in #143
• Update upload/download/setup-python/setup-node CI actions by @jonaprieto in #146
• Mutex lock for asynchronous shell execution by @lukaszcz in #145

Full Changelog: v0.2.3...v0.2.4

v0.2.3

Bump version to v0.2.3, Juvix v0.6.6

v0.2.2

What's Changed

• Run shell commands asynchronously by @lukaszcz in #139
• Remove --only-errors flag, replaced by --log-level by @jonaprieto in #136

New Contributors

• @lukaszcz made their first contribution in #139

Full Changelog: v0.2.1...v0.2.2

v0.2.1

• Remove support for GEB backend as Juvix v0.6.4.
• Minor fixes to Juvix Markdown.
• Fix Isabelle generation command

v0.2.0

Update extension to support Juvix v0.6.3 (#129)

This PR makes the extension usable compared to the previous 0.5.X
version plus some enchaments.

- Closes #127 
- Closes #130 
- Support for Juvix Markdown files, including syntax highlighting for
Markdown parts.
- Better codelens plus Package.juvix template
- ...

Long story:
The extension was quite outdated, unfortunately, and needed several
updates for the vscode and npm packages (now with Node v22 instead of
v18). This required several changes in the package.json file and
resolving some TypeScript issues to ensure that the extension's features
such as type-checking and compilation worked as expected. However, there
are still some open issues, such as type information. Other updates
included modifying the README, removing outdated features like devTasks,
and deleting some old commands. As part of the enhancements, this PR
introduced support for Juvix markdown files, enabling this mode to have
the same features as regular Juvix files. We also made some essential
removals for easier maintenance, such as unicode-input support, which
was difficult to maintain and had many bugs from the original lean3
input method. Instead, we now recommend installing
czhang03.unicode-math-input input as part of the extension Juvix pack,
which alleviates this issue. Additionally, the user configuration menu
now includes some additional options for these tasks. We simplified the
logic for codelens for inserting module declarations and added a Package
template when opening empty Package.juvix files.


Testing is hard with these extensions, so some help is welcomed in this
regard.
One way to test this is to install the following .vsix file directly.
See this guide
https://code.visualstudio.com/docs/editor/extension-marketplace#_install-from-a-vsix

-
[juvix-mode-0.2.0.vsix.zip](https://github.com/user-attachments/files/16120496/juvix-mode-0.2.0.vsix.zip)


Ps. NPM made me waste so much time. :( I hope to find something better.

v0.1.50

Minor release.

• Bump Juvix version to 0.5.1
• Bump NPM package version
• Add trait, case, of, instance keywords to Juvix grammar.
• Minor packing changes

Full Changelog: v0.1.49...v0.1.50

v0.1.49

What's Changed

• Add VampIr halo2 tasks and compile target by @vrom911 in #112
• Clean up compile targets, remove old commands by @vrom911 in #116
• Do not erase code when format command returns empty result by @vrom911 in #115
• Upgrade to Juvix 0.4.1 by @vrom911 in #118
• Add VampIR installer by @vrom911 in #117
• Set up tests on CI by @vrom911 in #119
• Upgrade version to 0.1.49 by @vrom911 in #120

Full Changelog: v0.1.48...v0.1.49

v0.1.48

Bump to version 0.1.48 🎉

v0.1.47

Bump to version 0.1.47 (Juvix 0.4.0) 🎉