Topics:
- Coq Search/etc commands (4 messages, latest: May 26 2023 at 10:58)
- WSL no connection to server (2 messages, latest: May 25 2023 at 05:57)
- coq/getDocument error (2 messages, latest: May 23 2023 at 08:21)
- Weekly Calls (34 messages, latest: May 17 2023 at 19:05)
- bad version number errors (60 messages, latest: Apr 27 2023 at 16:19)
- Interrupting coq-lsp (19 messages, latest: Apr 19 2023 at 00:40)
- Misc errors in my first testing (13 messages, latest: Apr 18 2023 at 17:14)
- Performance issues in lsp vs serapi (68 messages, latest: Apr 18 2023 at 14:12)
- VSCode extension serialization support (12 messages, latest: Apr 18 2023 at 14:02)
- URI case (5 messages, latest: Apr 13 2023 at 17:21)
- Installing coq-lsp on Windows (1 message, latest: Apr 10 2023 at 16:43)
- CI for regressinos (47 messages, latest: Apr 05 2023 at 21:06)
- locating dependencies (5 messages, latest: Apr 05 2023 at 20:55)
- Release versioning (4 messages, latest: Apr 03 2023 at 14:57)
- Worker not found (14 messages, latest: Apr 02 2023 at 22:44)
- Adding string repr to the `Goal` object (70 messages, latest: Mar 31 2023 at 20:15)
- `debug and run` extension failing (4 messages, latest: Mar 20 2023 at 15:45)
- Code transformation with coq-lsp (18 messages, latest: Mar 19 2023 at 15:32)
- Errors when building from source (39 messages, latest: Mar 17 2023 at 02:45)
- ✔ CI (2 messages, latest: Mar 06 2023 at 20:17)
- Configuration loaded (28 messages, latest: Mar 03 2023 at 20:38)
- coq-lsp package version for Coq 8.15 (18 messages, latest: Mar 03 2023 at 20:05)
- Goal_after_tactic parameter (20 messages, latest: Mar 01 2023 at 20:49)
- ✔ Unicode completion (76 messages, latest: Feb 22 2023 at 22:52)
- ✔ Release 0.1.4 (34 messages, latest: Feb 22 2023 at 22:52)
- ✔ v8.16+lsp (2 messages, latest: Feb 22 2023 at 22:52)
- ✔ Release 0.1.6 (7 messages, latest: Feb 22 2023 at 22:52)
- ✔ rootPath issues (64 messages, latest: Feb 22 2023 at 22:51)
- [Nix] build without submodules #372 (223 messages, latest: Feb 21 2023 at 06:58)
- Setting OCAMLPATH in metacoq (14 messages, latest: Feb 17 2023 at 13:09)
- Release 0.1.5 (12 messages, latest: Feb 09 2023 at 22:10)
- Nix Setup (31 messages, latest: Feb 09 2023 at 19:14)
- stack format (29 messages, latest: Feb 08 2023 at 20:50)
- setup help (69 messages, latest: Feb 08 2023 at 18:24)
- Coq versions (5 messages, latest: Feb 08 2023 at 18:21)
- General Chat (45 messages, latest: Feb 06 2023 at 05:00)
- Executing commands in isolated state (2 messages, latest: Jan 31 2023 at 10:00)
- Synchronization (12 messages, latest: Jan 25 2023 at 19:59)
- I see nothing (13 messages, latest: Jan 17 2023 at 10:29)
- First meeting (22 messages, latest: Jan 09 2023 at 16:03)
- ✔ `eauto using` takes a reload to parse (21 messages, latest: Jan 09 2023 at 15:46)
- ✔ Enable backtraces (5 messages, latest: Jan 05 2023 at 20:35)
- ✔ Release 0.1.2 (4 messages, latest: Jan 05 2023 at 20:35)
- ✔ Log file problem? (31 messages, latest: Jan 03 2023 at 15:45)
- ✔ Publish the VSCode extension in the Open VSX registry (6 messages, latest: Dec 27 2022 at 02:21)
- ✔ Wishlist for release 0.1.1? (2 messages, latest: Dec 27 2022 at 02:21)
- Configuration from _CoqProject (9 messages, latest: Dec 08 2022 at 20:08)
- Release 0.1.0 (5 messages, latest: Nov 24 2022 at 14:47)
- 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: May 31 2023 at 10:01 UTC