Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq 8.2.1 and Proof General 3.7.1 are compatible?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.2.1 and Proof General 3.7.1 are compatible?


chronological Thread 
  • From: Gyesik Lee <gslee AT ropas.snu.ac.kr>
  • To: coq-club <coq-club AT pauillac.inria.fr>
  • Subject: [Coq-Club] Coq 8.2.1 and Proof General 3.7.1 are compatible?
  • Date: Tue, 21 Apr 2009 14:31:42 +0900
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type:content-transfer-encoding; b=PEMlqlrtmJEo5fKx1011mZWAwK5Gzcp573Ugx/fpEncUZ8YWxpOZEBAtxE5JU9Nvu5 nD+pn65pDz9YivTYiMUotCT0nMzq6Mriu0Lu/MsjevJ8lqjsZ4ZGre/2ez8NQCWfqaDl lVOdVcRBhJ1/wazW8cGLPg7E9pJRBmHeWD+20=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hallo,

on top of Debian Linux I am trying to use Coq 8.2.1 with Emacs 21.4.1
plus Proof General.
But it seems that Proof General 3.7.1 won't work with Coq 8.2.1.
Is there a way to force it to work?
Or another option?

Gyesik



Archive powered by MhonArc 2.6.16.

Top of Page