Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.]

[coquser]

The following two blocks of code have been indented by highlighting the lines and pressing TAB:

Incorrect indentation:

Section foo.
  Arguments id /.
            Definition foo := Type.
  Definition bar := Type.
End foo.

Correct indentation:

Section foo.
  Arguments id / .
  Definition foo := Type.
  Definition bar := Type.
End foo.

[courtieu]

Fixed. Thanks for the bug report.

I decided to consider all tokens ending with dot as command ends (except if exactly ".."). User declared notation ending with dot would screw pg synchro anyway.