julesjacobs

When bracket colorization is turned on ("editor.bracketPairColorization.enabled": true), the `match` and `end` keywords are colored inside identifiers. This behaviour does not happen in e.g. Ruby where `begin ... end` is...

In the first few seconds of use it is fast, but then it slows down to a crawl. coqtop shows 100% cpu usage. Updating the proof state when moving the...