Stream: coq-lsp

Topic: ✔ Release 0.1.2


view this post on Zulip Emilio Jesús Gallego Arias (Jan 05 2023 at 00:05):

Release 0.1.2 is almost ready, only TODO is to integrate @Ramkumar Ramachandra goal printing patch into main, and I'll finish the failed Qed as Admitted patch. How does it look to you folks?

Would be nice to add a 8.17 version to coq opam archive.

I've postponed to 0.1.3 mainly completion and the interaction of document progress and pending requests.

view this post on Zulip Emilio Jesús Gallego Arias (Jan 05 2023 at 00:06):

Another nice thing for 0.1.3 is better structure for error recovery, that is to say, be aware of bullets, but that may be too much work, we'll see

view this post on Zulip Emilio Jesús Gallego Arias (Jan 05 2023 at 20:34):

Turns out goal printing has to live in the webview, which is not immediate to implement, so postponed to 0.1.3

view this post on Zulip Notification Bot (Jan 05 2023 at 20:35):

Emilio Jesús Gallego Arias has marked this topic as resolved.


Last updated: Mar 29 2024 at 09:02 UTC