code2rocq/imp2rocq
Archived
Watch
3
0
Fork
You've already forked imp2rocq
 0
Code Issues 25 Pull requests Projects 2 Wiki Activity

Glue LS should do INCREMENTAL document sync #18

Open
opened 2026-03-18 13:41:22 +01:00 by EatOreo · 0 comments
EatOreo commented 2026-03-18 13:41:22 +01:00
Owner

Since we will forward document changes to vsrocqtop and that uses incremental document sync it is way easier if we also do that, also more effecient.

Since we will forward document changes to vsrocqtop and that uses incremental document sync it is way easier if we also do that, also more effecient.
EatOreo added this to the Kanban project 2026-03-18 13:41:22 +01:00
EatOreo changed title from Glue ls should do INCREMENTAL document sync to Glue LS should do INCREMENTAL document sync 2026-03-18 14:02:35 +01:00
Commenting is not possible because the repository is archived.
No Branch/Tag specified
Branches Tags
main
report
refactor-documents
parser
No results found.
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Kanban
Assignees
Clear assignees
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Blocks
#4 hook ind i rocq/coq lsp
code2rocq/imp2rocq
Depends on
#17 represent LS documents more sophisticated
code2rocq/imp2rocq
Reference
code2rocq/imp2rocq#18
No description provided.