The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

Hi,

With ssreflect you should probably not use emacs auto indentation at
all. I suggest (for a 2 char tab length):

(add-hook
 'proof-mode-hook
 '(lambda ()
    (setq tab-stop-list '(2 4 6 8 10 12 14 16 18 20 22 24 26 28 30))
    (define-key proof-mode-map [(tab)]  'tab-to-tab-stop)))

Best regards,
Pierre


2014-06-20 17:46 GMT+02:00 Strub, Pierre-Yves 
<pierre-yves AT strub.nu>:
> On 2014-06-20 17:10, Pierre Courtieu wrote:
>
>> Beware that you need to follow the precedence - > +> * to make
>> indentation work. Nesting bullets inside { } is supported.
>
>
> Hi,
>
> Which is a total nightmare for people doing ssreflect by the way and having
> scripts not following this precedence.
>
> Indenting with spaces is soooo cool...
>
> Best,
> -- Pierre-Yves.
>