Coq-Elpi 2.0.0 for Coq 8.18

Requires Elpi 1.18.1 and Coq 8.18.

This major release accommodates for the separation of parsing from execution of Coq 8.18 enabling Coq-Elpi programs to be run efficiently (and correctly) under VSCoq 2.0.

Main changes

• New parsing/execution separation, see the Writing commands in Elpi tutorial
• New (experimental) app tc providing a type-class instance solver

New Contributors

• @Tragicus made their first contribution in #536

Full Changelog: v1.19.3...v2.0.0