Reprogram RET to re-indent as much as the previous line

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Closed msprotz closed 8 years ago

msprotz commented 9 years ago

Would save a few keystrokes.

cpitclaudel commented 9 years ago

I implemented something along these lines. Could you try and tell me if it works?

beurdouche commented 8 years ago

This seems to work for me.

msprotz commented 8 years ago

Yes it works for me too. Thanks!