coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] PG indentation

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] PG indentation
Date: Mon, 12 Sep 2016 14:58:11 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:Ic2EKhVgDXY/l8y0GrN4WLFkEeTV8LGtZVwlr6E/grcLSJyIuqrYZRyGt8tkgFKBZ4jH8fUM07OQ6PG5HzJQqs/b4ThCKMUKDEBVz51O3kQJO42sNw7SFLbSdSs0HcBPBhdO3kqQFgxrIvv4fEDYuXao7DQfSV3VPAtxIfnpSMaJ15zkn7P6x5qGaAJRwTG5fLlaLROsrAyXuNNFr5FlL/MazprMr31UTNxX2SYtDlaaghrx4o/k95pu9ilWp7Q59tJoXqDzfqB+RrtdWmd1e1sp7dHm4EGQBTCE4WERBz0b

Hi Beta,

How do you set these settings? Can you share a snippet and show the expected
indentation?

Cheers,
Clément.

On 2016-09-12 14:47, Beta Ziliani wrote:
> Hi list,
>
> I updated PG and now it is indenting my code in a way I don't want it
> to. I'm aware of the options Coq Script Indent and Coq Indent Box
> Style, however they seem to have no effect whatsoever. Any clues?
>
> Thanks,
> Beta
>

Attachment: signature.asc
Description: OpenPGP digital signature

[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