Skip to content

Issues: ejgallego/coq-lsp

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

111 Open 114 Closed
111 Open 114 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[examples] License of examples/chicken.jpg may not be free kind: bug Something isn't working kind: meta
#695 opened May 3, 2024 by ejgallego 0.1.9
Bug minimizer kind: enhancement New feature or request
#691 opened May 1, 2024 by Alizter
12
Accumulated performance stats on selection hover
#690 opened May 1, 2024 by Alizter
6
Restarting server resets position of goal window kind: bug Something isn't working part: goals and info panel
#678 opened Apr 15, 2024 by Alizter
[bug] Properly handle proof mode kind: bug Something isn't working kind: upstream kind: upstream-bug part: flèche part: upstream
#656 opened Mar 20, 2024 by ejgallego 0.1.10
Improvement for goal display kind: enhancement New feature or request
#652 opened Feb 26, 2024 by qcfu-bu 0.1.9
2
LSP plugin mangling VSCode/ium Settings file kind: bug Something isn't working kind: HCI design part: client (VSCode) part: config
#648 opened Feb 2, 2024 by jp-diegidio 0.2.0
2
_CoqProject won't be loaded from subdirectory kind: bug Something isn't working
#639 opened Jan 16, 2024 by Alizter
Better copying support good first issue Good for newcomers help wanted Extra attention is needed kind: HCI design part: goals and info panel
#634 opened Jan 9, 2024 by Alizter
1
Ltac, Notation and Tactic Notation doesn't appear in the document overview kind: bug Something isn't working
#632 opened Dec 29, 2023 by Alizter
1
[test suite] Check files from upstream on CI kind: bug Something isn't working
#630 opened Dec 18, 2023 by ejgallego
1
[meta] CoqPilot support issue kind: meta
#628 opened Dec 4, 2023 by ejgallego
Coq-lsp doesn't work when filename includes a dash kind: enhancement New feature or request kind: upstream part: documentation part: upstream
#617 opened Nov 23, 2023 by amblafont 0.2.0
4
[general] Drop support for Coq 8.16 kind: cleanup
#570 opened Oct 2, 2023 by ejgallego 0.2.0
hovering over record types should display the record good first issue Good for newcomers kind: enhancement New feature or request
#564 opened Oct 2, 2023 by Alizter
2
[vernac] [upstream] Abort All is not supported kind: bug Something isn't working part: upstream
#550 opened Sep 22, 2023 by ejgallego
[workspace] Workspace determination code works not well with relative paths kind: bug Something isn't working part: workspace setup
#546 opened Sep 21, 2023 by ejgallego 0.1.10
[goals] Option to hide collapsed goal type display kind: enhancement New feature or request part: goals and info panel
#525 opened Jul 7, 2023 by ejgallego 0.1.9
4
[ci] [nix] Build for stable branches fails kind: bug Something isn't working os: nix part: CI
#522 opened Jul 6, 2023 by ejgallego 0.2.0
9
[Feature Request] document query
#521 opened Jun 30, 2023 by kaifronsdal 0.3.0
4
[fcc] Memtrace integration kind: bug Something isn't working
#520 opened Jun 30, 2023 by ejgallego
LSP type naming inconsistency kind: bug Something isn't working
#516 opened Jun 27, 2023 by kaifronsdal 0.2.0
1
[build] Ensure isolation of Yojson wrt to Flèche kind: bug Something isn't working
#514 opened Jun 26, 2023 by ejgallego 0.2.0
[Feature Request] Incremental textDocument/didChange kind: enhancement New feature or request part: protocol (LSP)
#497 opened Jun 16, 2023 by huynhtrankhanh
2
Feature Request: Sentence Indexing kind: bug Something isn't working
#496 opened Jun 15, 2023 by tom-p-reichel 0.2.0
4
ProTip! Mix and match filters to narrow down what you’re looking for.