andrew touchet (Feb 08 2023 at 17:14): andrew touchet (Feb 08 2023 at 17:14):Which versions of coq are expected to be supported by coq-lsp?
Ali Caglayan (Feb 08 2023 at 17:28):Currently >= 8.16
Ali Caglayan (Feb 08 2023 at 17:29):Though on 8.16 you will not be able to open multiple files at once (without a bug in Coq causing a problem). This is however documented in the README.md
Ali Caglayan (Feb 08 2023 at 17:29):This bug (might) be fixed for the upcomming 8.17 release, but for 8.18+ it will definitely be fixed.
Emilio Jesús Gallego Arias (Feb 08 2023 at 18:21):@andrew touchet we could also support older Coq versions if there is need, but indeed, some features do really require a new Coq
Last updated: Apr 16 2024 at 13:01 UTC