Changing subscript highlighting about fstar-mode.el

[kyoDralliam]

I'm not exactly fond of the x_n syntax in the source code (when debugging the code in the terminal there are already too many _) so I would be rather happy if I could just write xn and still have the subscript highlight.

[msprotz]

One of the reasons we haven't completely bought into it is because it looks nice in Emacs but not when you copy/paste it into a code snippet in a LaTeX paper. But I'll let others with more experience writing massive files chime in with their opinion :).

[cpitclaudel]

One of the reasons we haven't completely bought into it is because it looks nice in Emacs but not when you copy/paste it into a code snippet in a LaTeX paper.

Meh. You're using the wrong tools :P https://github.com/cpitclaudel/esh/raw/master/example/reference.pdf

Jokes aside, you're right; hence I'm proposing to drop that special syntax and instead highlight the one that's currently used.

[cpitclaudel]

Here's what the proposal looks like, concretely:

Now:

After:

[cpitclaudel]

Done! Please report any issues you run across :)