Topics:
- Configuration from _CoqProject (9 messages, latest: Dec 08 2022 at 20:08)
- Wishlist for release 0.1.1? (1 message, latest: Dec 08 2022 at 18:02)
- Log file problem? (30 messages, latest: Dec 08 2022 at 18:00)
- Release 0.1.0 (5 messages, latest: Nov 24 2022 at 14:47)
- Publish the VSCode extension in the Open VSX registry (2 messages, latest: Nov 21 2022 at 10:24)
- General Chat (17 messages, latest: Oct 06 2022 at 16:36)
- Error messages, locations and paths — an LSP solution? (3 messages, latest: Jul 26 2022 at 15:40)
- Interrupting Coq (106 messages, latest: Jul 08 2022 at 18:54)
- Reusing ocaml-lsp stuff (68 messages, latest: Jul 07 2022 at 17:06)
- Caching (11 messages, latest: Jul 04 2022 at 05:57)
- stream events (1 message, latest: Jul 01 2022 at 10:27)
Last updated: Dec 09 2022 at 09:30 UTC