coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PG indentation

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] PG indentation
Date: Mon, 12 Sep 2016 15:47:51 -0300
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=beta AT mpi-sws.org; spf=Pass smtp.mailfrom=beta AT mpi-sws.org; spf=None smtp.helo=postmaster AT hera.mpi-klsb.mpg.de
Ironport-phdr: 9a23:4uOxlhz7VTYwwqPXCy+O+j09IxM/srCxBDY+r6Qd0eITIJqq85mqBkHD//Il1AaPBtSCrawUwLOM4uigATVGusfZ9ihaMdRlbFwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oMyKJVsYz2PnMPsydEzw9lSJ8JFOwMNLEeUY8lPxuHxGeuBblytDBGm4uFLC3Pq254Np6C9KuvgspIZqWKT+eLkkH/QDVGx1e0h83sDgtAHCQA2T/TNcFzxOylsbSzTCuTr9R9/atjbw/r523zDfNsnrR5g1Xy6j5uFlUkm7pj0AMmsT/X3ewv5xiKNSphPp8xZy34f8ZZmUceFhZeXaZ9xMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q=

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

[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