Releases: FStarLang/fstar-mode.el
Releases · FStarLang/fstar-mode.el
v0.9.4.0 (Universes, DM4F)
The fstar-mode.el version that works with F* v0.9.4.0
https://github.com/FStarLang/FStar/releases/tag/V0.9.4.0
The fstar-mode.el version that works with F* v0.9.4.0
https://github.com/FStarLang/FStar/releases/tag/V0.9.4.0