-
Notifications
You must be signed in to change notification settings - Fork 17
Pull requests: FStarLang/fstar-mode.el
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
advance-to-point advance to the end of the current block
#136
opened May 10, 2023 by
LukeXuan
Loading…
Jump to fsti's when jumping to a module. Allow user preference for this.
enhancement
#108
opened May 25, 2019 by
jaybosamiya
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.