support for fsi/fsti

[fournet]

How to get fstar support (syntax highlighting & interaction) when editing interfaces?

[aseemr]

The support should already be there, I added the support for type checking .fsi in atom recently: 4709fbb, but the syntax highlighting support was there even before that. Perhaps try updating your local fstar-interactive (and atom-fstar) ?

[fournet]

Still mysteriously broken on my machine; I can get around it using ctrl-alt-L F*.