coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Proof General has moved to GitHub!

From: "John Wiegley" <johnw AT newartisans.com>
To: Jason Gross <jasongross9 AT gmail.com>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Proof General has moved to GitHub!
Date: Mon, 18 Jan 2016 22:26:30 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jwiegley AT gmail.com; spf=Pass smtp.mailfrom=jwiegley AT gmail.com; spf=None smtp.helo=postmaster AT mail-pf0-f174.google.com
Ironport-phdr: 9a23:KsRqGB2nWIfrw2RUsmDT+DRfVm0co7zxezQtwd8ZsekULPad9pjvdHbS+e9qxAeQG96LtbQV1KGH6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6MyZXonLHos7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+lxDYSg3HyWEbSX5exhhBGA/D4wv9RYygmiT/v+t5niKdOJuld70sXSWe6PIhahjojm84NjM29GzGwIQkjqVbpg2JoRFgypTIYZqcMuE4daTYK4A0X21EC4xzUCxHSry9YoQLAvtLdbJaqIn7uHMIoAS3HxWtH+rp0XlDgXqgjv5y6PgoDQyThF9oJNkJqnmB6YytbKo=
Organization: New Artisans LLC

>>>>> Jason Gross
>>>>> <jasongross9 AT gmail.com>
>>>>> writes:

> I think there should instead be a MELPA package, but, as I understand it, PG
> currently needs arcane emacs flags to compile correctly, and melpa doesn't
> support that (and it's not clear that it should).

Any chance we could go full ELPA?

--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

[Coq-Club] Proof General has moved to GitHub!, Clément Pit--Claudel, 01/19/2016
- Re: [Coq-Club] Proof General has moved to GitHub!, Gregory Malecha, 01/19/2016
  - Re: [Coq-Club] Proof General has moved to GitHub!, Jason Gross, 01/19/2016
    - Re: [Coq-Club] Proof General has moved to GitHub!, John Wiegley, 01/19/2016
      - Re: [Coq-Club] Proof General has moved to GitHub!, Clément Pit--Claudel, 01/19/2016
        
        Re: [Coq-Club] Proof General has moved to GitHub!, Stefan Monnier, 01/19/2016
        
        Re: [Coq-Club] Proof General has moved to GitHub!, Clément Pit--Claudel, 01/19/2016
  - Re: [Coq-Club] Proof General has moved to GitHub!, Clément Pit--Claudel, 01/19/2016