Skip to Content.
Sympa Menu

coq-club - Re: [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

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


chronological Thread 
  • From: Pierre Courtieu <Pierre.Courtieu AT cnam.fr>
  • To: Gyesik Lee <gslee AT ropas.snu.ac.kr>
  • Cc: coq-club <coq-club AT pauillac.inria.fr>
  • Subject: Re: [Coq-Club] Coq 8.2.1 and Proof General 3.7.1 are compatible?
  • Date: Tue, 21 Apr 2009 17:01:19 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type :content-transfer-encoding; b=qQYb5KfJ45k+leh4Q4Vsz4cR+TTH+bhOMh5YTyAu4nhmCy5EizX8xKiZqmGTEAHan2 6nFClkJ8Atuu8FhikcW+9VOEXnBsmXfoi+soKwkHgyh9PX+N7zellAfjKYhc+/xPIl1n 56RjuTzDcTiu/7VIG7hDJmh1o7wv7iQUJjnXU=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
It seems that debian package of PG is not well built. Did you try to
install ProofGeneral by hand please?

Can you describe the problem more precisely please? And your
installation? Then we decide if this thread should migrate to PG list.

regards,
Pierre Courtieu



2009/4/21 Gyesik Lee 
<gslee AT ropas.snu.ac.kr>:
> 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
>
> --------------------------------------------------------
> Bug reports: http://logical.saclay.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>          http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>



Archive powered by MhonArc 2.6.16.

Top of Page