On 2017-09-18 16:34, Catalin Hritcu wrote:
>> 2. How can I get rid of subscripts in fstar-mode in emacs? When I type
>> "foo42", I get $foo_{42}$. I already managed to get rid of
>> prettify-symbols-mode and visual-line-mode, but this one seems to be part of
>> fstar-mode.
>
> This is indeed a feature I would also like to be able to turn off. Clement?
It isn't easy at the moment. Please open a feature request :)
Even better, if it isn't a wholesale dislike, describe cases in which it
doesn't work well, so we can improve it.
Clément
_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
