coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] PG indentation

From: Stefan Monnier <monnier AT iro.umontreal.ca>
To: Beta Ziliani <bziliani AT famaf.unc.edu.ar>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] PG indentation
Date: Mon, 12 Sep 2016 16:06:28 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier AT iro.umontreal.ca; spf=SoftFail smtp.mailfrom=monnier AT iro.umontreal.ca; spf=None smtp.helo=postmaster AT ironport2-out.teksavvy.com
Ironport-phdr: 9a23:aheI4h8tlHHA6v9uRHKM819IXTAuvvDOBiVQ1KB90ekcTK2v8tzYMVDF4r011RmSDNydtaIP0raK++C4ACpbvsbH6ChDOLV3FDY7yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Dq3PF4XTl8W60fyps92WOl0QxWn1XbQnBhiqpE3jt80XiI1jYvI72BrNo3JOesxYzGZhKxSOmR2668utupd5pXd+ofUkovVcXKvzeewdSrpeDTk8ezQw48vttBTZZQqV4T0BV2IQjgBFCgyD5xisDcS5iTfzqucogHrSBsbxV71hHG36t6o=

> And what is really pissing me off is that it is changing the
> indentation I wrote.

That's not because of PG but because of the generic
electric-indent-mode. Maybe you want to disable (globally), or just
locally with something like

(add-hook 'coq-mode-hook (lambda () (electric-indent-local-mode -1)))

-- Stefan

[Coq-Club] PG indentation, Beta Ziliani, 09/12/2016
- Re: [Coq-Club] PG indentation, Clément Pit--Claudel, 09/12/2016
  - Re: [Coq-Club] PG indentation, Beta Ziliani, 09/12/2016
    - Re: [Coq-Club] PG indentation, Clément Pit--Claudel, 09/12/2016
      - Re: [Coq-Club] PG indentation, Beta Ziliani, 09/12/2016
    - Re: [Coq-Club] PG indentation, Stefan Monnier, 09/12/2016