search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

advancing is missing a bunch of new top-level constructs #99

Closed msprotz closed 5 years ago

msprotz commented 5 years ago

see #64... now there is:

push-options

pop-options

(at least)

thanks!

Jonathan

cpitclaudel commented 5 years ago

Thanks. Feel free to add them and push :)

cpitclaudel commented 5 years ago

Gentle ping?