Stream: User interfaces devs & users

Topic: coq-lsp 0.1.7

view this post on Zulip Emilio Jesús Gallego Arias (Jul 11 2023 at 10:58):

Hi folks, coq-lsp 0.1.7 has been released, see the complete announcement at Discourse:
https://coq.discourse.group/t/ann-coq-lsp-0-1-7/1996

view this post on Zulip Emilio Jesús Gallego Arias (Sep 29 2023 at 17:19):

Hi folks, for those that are windows users, note experimental Windows installers are available, see https://coq.zulipchat.com/#narrow/stream/329642-coq-lsp/topic/Experimental.20Windows.20Installers.20are.20available for more information.

Testing is much welcome!

Last updated: Oct 13 2024 at 01:02 UTC