v2.3.0

This release renames the language server and extension to vsrocq

What's Changed

• fix: updated opam contraints by @rtetley in #1104
• Rename extension by @rtetley in #1078
• fix: opam file syntax error by @rtetley in #1105
• #1093: Renaming: vsrocq -> prover by @g0byx3 in #1110
• Add match! keywords for Ltac2 to syntax highligthing by @thomas-lamiaux in #1107
• Improve Makefile by @eponier in #1112
• Cherrypick fixes by @rtetley in #1120
• feat: add vscode and OS info to show setup command by @rtetley in #1124
• Adding FAQ and Issue Templates by @Durbatuluk1701 in #1121
• fix: rocq version display by @rtetley in #1126
• fix: forgot two cases for rocq version display by @rtetley in #1127
• Update README.md -> add nixos install by @srhhma in #1131
• feat: add an option to render goal view as formatted string + add range by @rtetley in #1133
• Fix 1066 by @gares in #1134
• fix: update the flake and CI by @rtetley in #1128
• Adapt to rocq-prover/rocq#20917 (changed with_end_tac arg in comtactic) by @SkySkimmer in #1135
• Adapt to rocq-prover/rocq#20962 (LStream.next returns option) by @SkySkimmer in #1136
• Adapt to rocq-prover/rocq#20997. by @ppedrot in #1139
• Adapt to rocq-prover/rocq#21020. by @ppedrot in #1140
• Adapt to rocq-prover/rocq#20964 (less exn driven parser) by @SkySkimmer in #1143
• release by @gares in #1144

New Contributors

• @g0byx3 made their first contribution in #1110
• @srhhma made their first contribution in #1131

Full Changelog: v2.2.6...v2.3.0