-
Notifications
You must be signed in to change notification settings - Fork 25
Pull requests: leanprover-community/lean4-mode
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix incorrect syntax highlighting on lean4-debugging keyword
#61
opened Mar 13, 2024 by
casavaca
Loading…
Fix magit-section usage so the expand/contract functionality works
#59
opened Mar 2, 2024 by
bustercopley
Loading…
Add install instructions for *nix*-doom-emacs that use emacsPackagesOverlay
#21
opened Aug 3, 2022 by
emeinhardt
Loading…
[feat] Add Info View buttons: goto file/line/col
awaiting-author
There are concerns that need to be resolved by the author
ProTip!
Add no:assignee to see everything that’s not assigned.