Skip to content

Pull requests: ejgallego/coq-lsp

New pull request New
21 Open 478 Closed
21 Open 478 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[compiler] Allow control of Coq's info and notice messages.
#724 opened May 23, 2024 by ejgallego Loading…
[code] Display and allow status bar item to toggle continuous / lazy … kind: enhancement New feature or request kind: HCI design part: client (VSCode)
#721 opened May 19, 2024 by ejgallego Loading… 0.1.9
6
[build] [deps] Merge serlib into coq-lsp
#698 opened May 9, 2024 by ejgallego • Draft
3 of 7 tasks
0.1.10
2
Add a Petanque TCP server part: petanque
#697 opened May 7, 2024 by gbdrt • Draft 0.1.9
5
[coq] Overlay for coq/coq#18385 kind: upstream
#696 opened May 4, 2024 by ejgallego Loading…
[layout engine] Move Coq Layout engine tree to coq-lsp repos.
#668 opened Apr 4, 2024 by ejgallego • Draft
[hover] Display debug statistic for universes
#666 opened Apr 4, 2024 by ejgallego • Draft 0.1.10
10
[wip] File auto-build kind: enhancement New feature or request needs: test-case needs: testing part: compiler part: flèche part: workspace setup
#641 opened Jan 19, 2024 by ejgallego • Draft 0.2.0
1
[example] Example how to use the LSP client
#626 opened Nov 28, 2023 by ejgallego • Draft
[doc] [example] Example of a setup with multiple workspaces. kind: enhancement New feature or request part: documentation part: workspace setup
#611 opened Nov 14, 2023 by ejgallego Loading… 0.1.9
6
Add Emacs mode. needs: changes entry part: client (Emacs)
#592 opened Nov 1, 2023 by arthuraa Loading… 0.1.10
2
[hover] [wip] First prototype of show documentation on hover
#590 opened Oct 26, 2023 by ejgallego • Draft
2
[coq] Support for token-based interruption needs: testing
#509 opened Jun 21, 2023 by ejgallego • Draft 0.1.9
30
[workspace] Include list of known modules in workspace. kind: enhancement New feature or request part: lsp server part: workspace setup
#505 opened Jun 20, 2023 by ejgallego • Draft 0.2.0
[controller] [js] Initial javascript JSSO controller
#433 opened Feb 24, 2023 by ejgallego • Draft 0.1.10
[Nix] build without submodules
#372 opened Feb 17, 2023 by Alizter • Draft
5
[lsp] Preliminary support for pull diagnostics
#361 opened Feb 16, 2023 by ejgallego • Draft
2
[goals] [wip] Show info waiting
#216 opened Jan 22, 2023 by ejgallego • Draft 0.3.0
[coq] Enable backtraces on anomaly
#161 opened Jan 9, 2023 by ejgallego • Draft 0.3.0
1
4
Fleche intf
#66 opened Nov 9, 2022 by ejgallego • Draft
2
[info] Hook completion call, fix still some issues with range. needs: progress
#41 opened Oct 1, 2022 by ejgallego Loading… 0.1.10
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.