coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] El-Get recipe for Proof General

From: "N. Raghavendra" <raghu AT hri.res.in>
To: coq-club AT inria.fr
Subject: [Coq-Club] El-Get recipe for Proof General
Date: Fri, 29 Apr 2016 20:25:32 +0530
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=raghu AT hri.res.in; spf=Pass smtp.mailfrom=gsmlcc-coq-club AT m.gmane.org; spf=Pass smtp.helo=postmaster AT plane.gmane.org
Cancel-lock: sha1:p4xqKbAi1JDL8iJgF0usshytkb4=
Ironport-phdr: 9a23:rKDgnBGUyAuqf9NyKv2yG51GYnF86YWxBRYc798ds5kLTJ75r8ywAkXT6L1XgUPTWs2DsrQf27qQ4/6rBjZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6bipdaMOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdKMhCLdcET4OMmYv5cStuwOQdwaX4mogVTBctFwAOQHK7BjkU5H9qCKw/r5n0SaaIOX2V7FyQzm5qaZtHkzGkiACYnQftintg8NwhbxWph67rlY3l5Tdb4GIHPpkf+XHcMhcRGwXDZUZbDBIHo7pN9hHNOEGJ+sN94Q=

For those who use the el-get package installer for Emacs, I've added an
el-get recipe for Proof General, which installs the current GitHub
version of Proof General. The recipe is at

https://raw.github.com/dimitri/el-get/master/recipes/proof-general.rcp

There was an older ProofGeneral.rcp, which used to install version 4.2
of Proof General. That recipe has been removed now.

Cheers,
Raghu.

--
N. Raghavendra
<raghu AT hri.res.in>,
http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/

[Coq-Club] El-Get recipe for Proof General, N. Raghavendra, 04/29/2016