-
Notifications
You must be signed in to change notification settings - Fork 92
Pull requests: leanprover/vscode-lean4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: unicode file paths displayed as URI-encoded in the infoview
#760
opened Apr 12, 2026 by
kuotsanhsu
Loading…
Fix typo in setting name, and add settings.json ID for clarity
#754
opened Apr 2, 2026 by
samuela
Loading…
Update manual with PR instructions for abbreviations
awaiting-author
#684
opened Oct 27, 2025 by
kckennylau
Contributor
Loading…
feat: [lean4web] abstract lean client setup for websocket clients
#568
opened Jan 13, 2025 by
joneugster
Contributor
Loading…
feat: [lean4web] abstract the implementation of infoview as a webview
#567
opened Jan 13, 2025 by
joneugster
Contributor
Loading…
feat: add a setting to disable the loading spinner animation
#561
opened Dec 22, 2024 by
YnirPaz
Loading…
feat: skip infoview breaking test on major version bump
awaiting-author
#459
opened Jun 3, 2024 by
joneugster
Contributor
Loading…
1 task done
ProTip!
Adding no:label will show everything without a label.