Topics:
- 0.2.0 series (3 messages, latest: Oct 04 2024 at 17:43)
- vscode.dev (45 messages, latest: Oct 04 2024 at 17:42)
- coq-lsp and ocaml (23 messages, latest: Oct 04 2024 at 15:31)
- coq-lsp for coq master (47 messages, latest: Sep 22 2024 at 10:36)
- starting with coq-lsp and emacs (55 messages, latest: Jun 14 2024 at 16:20)
- coq/getDocument error (123 messages, latest: Jun 08 2024 at 15:08)
- General Chat (61 messages, latest: Jun 05 2024 at 15:15)
- Coq-lsp crashes too frequently (23 messages, latest: Jun 03 2024 at 20:21)
- Release 0.1.9 (2 messages, latest: Jun 03 2024 at 15:17)
- Packaging coq-serapi for Debian (26 messages, latest: May 03 2024 at 17:28)
- VS code version compatibility? (18 messages, latest: May 03 2024 at 01:24)
- About handling slowness/freezing (52 messages, latest: Apr 03 2024 at 15:47)
- AST dump in JSON (15 messages, latest: Mar 13 2024 at 15:32)
- Has anyone encountered memory leaks in coq-lsp? (16 messages, latest: Feb 24 2024 at 17:07)
- coq-lsp keeps touching my `.vscode/settings.json` ... (15 messages, latest: Feb 05 2024 at 18:26)
- LSP search issue (3 messages, latest: Feb 05 2024 at 16:19)
- Problem with coq-lsp plugin "initialization" (113 messages, latest: Jan 23 2024 at 01:12)
- coq-lsp: assertion failed in `add_leaf_entry` (168 messages, latest: Jan 19 2024 at 14:30)
- coq-lsp: `Unset SsrIdents` ignored (5 messages, latest: Jan 18 2024 at 15:00)
- ✔ coq-lsp support in codium (2 messages, latest: Dec 13 2023 at 10:31)
- coq-lsp as a library (24 messages, latest: Dec 12 2023 at 16:39)
- coq-lsp support in codium (44 messages, latest: Dec 06 2023 at 16:40)
- "Stepping" in continuous mode (18 messages, latest: Dec 05 2023 at 18:19)
- Lazy document checking mode (7 messages, latest: Dec 04 2023 at 20:46)
- ✔ Migrating from SerAPI (5 messages, latest: Dec 01 2023 at 14:19)
- Preloading coq-lsp's cache? (17 messages, latest: Nov 30 2023 at 14:24)
- Migrating from SerAPI (33 messages, latest: Nov 28 2023 at 17:00)
- `elpi` parsing strikes `coq-lsp` (36 messages, latest: Nov 07 2023 at 20:49)
- Server not killed when restarted? (4 messages, latest: Nov 06 2023 at 15:16)
- coq-lsp under Emacs. (36 messages, latest: Nov 05 2023 at 11:38)
- Experimental Windows Installers are available (4 messages, latest: Nov 03 2023 at 12:53)
- VS Code minimal version requirement (19 messages, latest: Oct 31 2023 at 19:24)
- Release 0.1.8 (2 messages, latest: Oct 25 2023 at 16:25)
- Stability of coq-lsp (28 messages, latest: Oct 18 2023 at 14:18)
- ✔ Installing coq-lsp on Windows (2 messages, latest: Oct 02 2023 at 17:04)
- ✔ Abort All (2 messages, latest: Sep 29 2023 at 16:49)
- ✔ Information about coq-lsp design (1 message, latest: Sep 29 2023 at 16:33)
- Weekly Calls (48 messages, latest: Sep 29 2023 at 16:32)
- Information about coq-lsp design (3 messages, latest: Sep 25 2023 at 07:10)
- ✔ Building vo files (33 messages, latest: Sep 22 2023 at 16:08)
- Abort All (3 messages, latest: Sep 22 2023 at 15:12)
- Nix Setup (33 messages, latest: Sep 22 2023 at 14:41)
- Building vo files (60 messages, latest: Sep 21 2023 at 17:01)
- ✔ coq-lsp for Coq 8.18? (1 message, latest: Sep 19 2023 at 15:18)
- ✔ Coq-LSP not finding .vo files (1 message, latest: Sep 19 2023 at 15:18)
- Coq-LSP not finding .vo files (5 messages, latest: Sep 19 2023 at 14:03)
- coq-lsp for Coq 8.18? (6 messages, latest: Sep 18 2023 at 16:47)
- Exporting an API (4 messages, latest: Sep 14 2023 at 16:31)
- Communicating with the language client from another extensio (2 messages, latest: Sep 14 2023 at 15:41)
- Coq Search/etc commands (7 messages, latest: Sep 14 2023 at 15:32)
- ✔ coq/getDocument error (1 message, latest: Jul 07 2023 at 13:59)
- ✔ Release 0.1.7 (1 message, latest: Jul 07 2023 at 13:59)
- Release 0.1.7 (7 messages, latest: Jun 29 2023 at 15:35)
- ✔ `debug and run` extension failing (1 message, latest: Jun 20 2023 at 21:49)
- ✔ Passing arguments via _CoqProjects on Emacs. (3 messages, latest: Jun 20 2023 at 20:19)
- Passing arguments via _CoqProjects on Emacs. (8 messages, latest: Jun 20 2023 at 18:39)
- textDocument/didChange (7 messages, latest: Jun 15 2023 at 16:24)
- coq-lsp ignoring commands (10 messages, latest: Jun 13 2023 at 19:47)
- bad version number errors (62 messages, latest: Jun 08 2023 at 20:42)
- WSL no connection to server (3 messages, latest: Jun 06 2023 at 19:31)
- 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)
- 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)
- 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: Oct 13 2024 at 01:02 UTC