coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Clément Pit--Claudel <clement.pit AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Prevent PG from resizing goal/response windows
- Date: Fri, 19 Feb 2016 09:51:40 -0500
- Authentication-results: mail3-smtp-sop.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:7ZeeFR9n0UttVP9uRHKM819IXTAuvvDOBiVQ1KB91+8cTK2v8tzYMVDF4r011RmSDdqdtqoP1bGempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciP14/pjKibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq4QTLpCDT1gPXpmytfssEzoSYqK630AZV0Xjl8NKAzM8R33Wt+luS/3s+d7xG+CPNHeQrU9WDDk5KBuHky7wBwbPiI0pTmEwvd7i7hW9Uqs
Hi Scott,
PG 4.2 is from 2012; can you try reproducing the issue with 4.4pre?
https://github.com/ProofGeneral/PG
Clément.
On 02/19/2016 09:39 AM, scott constable wrote:
> Hi All,
>
> I've been having some trouble with CoqIDE on OSX, so I decided to give PG a
> try instead. I followed the directions from Lance Pollard here:
>
> http://lancejpollard.github.io/how-to-install-coq-on-a-mac/
>
> Everything is working fine so far, except that with every proof step, the
> goal window grows, and the response window shrinks. I have the
> proof-three-window-enable option on, which according to the PG manual "also
> prevents Emacs automatically resizing windows between proof steps." But
> this doesn't seem to be working properly. Is this a bug? If so, would the
> problem be with PG or with Aquamacs?
>
> What follows is my software platform:
> OSX 10.11.3
> Aquamacs 3.2
> PG 4.2
> Coq 8.5
>
> Thanks in advance,
>
> ~Scott Constable
Attachment:
signature.asc
Description: OpenPGP digital signature
- [Coq-Club] Prevent PG from resizing goal/response windows, scott constable, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, Clément Pit--Claudel, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, Clément Pit--Claudel, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, scott constable, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, Clément Pit--Claudel, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, scott constable, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, Clément Pit--Claudel, 02/19/2016
- Re: [Coq-Club] Prevent PG from resizing goal/response windows, Clément Pit--Claudel, 02/19/2016
Archive powered by MHonArc 2.6.18.