v2.2.5

What's Changed

Fixes

Hotfix: server crashes when editing the file

A pernicious bug made it in the last release in which after executing through a parse error and then editing it, the server would crash.
This hotfix addresses this issue and is the main reason behind this small release.

• fix: add empty dependencies even to an errored sentence by @rtetley in #1049

Minor changes

Extension activation

The extension now only activates when a Coq file is opened ! This prevents annoying messages when a user is not trying to use Coq.

• Change activation to only occur when Coq files are opened by @Durbatuluk1701 in #1028

Better feedback performance

There has been an ongoing issue in which commands that generate feedback, such as Search, are unusable due to the time taken to handle the produced feedback. This feature greatly improves the situation and makes such commands usable again.

• process feedback in batches (fix #878) by @gares in #1033

Don't crash for log messages

Sometimes producing log messages crashes the server. This ensures it won't happen again.

• log: safe generation of messages by @gares in #1034

Symbol seaching and syntax highlighting

These changes add handling some keywords to the outline and fixes the syntax highlighting for others.

• syntax highlighting: Treat Compute as a Vernacular keyword by @KacperFKorban in #1038
• Symbol search: handle inductive, fixpoint, and cofixpoint by @KacperFKorban in #1045
• syntax highlighting: support more vernacular commands by @KacperFKorban in #1047

New Contributors

• @KacperFKorban made their first contribution in #1038

Full Changelog: v2.2.4...v2.2.5