Ramkumar Ramachandra (Mar 05 2022 at 10:05): Ramkumar Ramachandra (Mar 05 2022 at 10:05):Where can I find work on the new foundations?
Enrico Tassi (Mar 05 2022 at 13:14):There are a few recent PRs by maxine and an issue to begin with. The new DM is also in our CI, although it is very much WIP.
Ramkumar Ramachandra (Mar 05 2022 at 13:18):What is document manager? Does it use LSP?
Enrico Tassi (Mar 05 2022 at 13:40):yes, with extensions. This is the wip https://github.com/maximedenes/vscoq/tree/document-manager/language-server
Ramkumar Ramachandra (Mar 05 2022 at 14:43):Why is there a server/ component in this extension?
Enrico Tassi (Mar 05 2022 at 16:41):It is a fork of current vscoq, so the MITM code is still there.
Ramkumar Ramachandra (Mar 07 2022 at 06:31):Any near-term merge plans?
Enrico Tassi (Mar 07 2022 at 08:42):We hope to have it working by September
Last updated: Jun 05 2023 at 09:01 UTC