v2.1.3

What's Changed

• Fix issue with build using flake system in issue #747 by @redanaheim in #754
• Improve flake.nix, add compatibility with pkgs.vscode extensions field by @redanaheim in #760
• Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) by @SkySkimmer in #756
• Correct query panel bug by @rtetley in #763
• package.json: fix typo ("on after" => "one after") by @JasonGross in #764
• Fixed some typos in the settings. by @nbrader in #765
• Parsing comments by @rtetley in #755
• [coq] Adapt to coq/coq#18890 by @ejgallego in #767
• Fixed the optcomp keywords and functions by @rtetley in #769
• Add Equations and Equations? to coq.tmLanguage.json to get coloring by @thomas-lamiaux in #771
• Formatting proof view by @rtetley in #773
• Better highlights by @rtetley in #744
• [coq] Adapt to coq/coq#17393 by @ejgallego in #775
• Adding a warning as errors job in CI by @rtetley in #782
• [coq] Adapt to coq/coq#19187 by @ejgallego in #783
• Making manual mode the default one by @rtetley in #788
• Fix highlights by @rtetley in #786

New Contributors

• @redanaheim made their first contribution in #754
• @JasonGross made their first contribution in #764
• @nbrader made their first contribution in #765
• @ejgallego made their first contribution in #767
• @thomas-lamiaux made their first contribution in #771

Full Changelog: v2.1.2...v2.1.3