coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Re: problem with proof general

From: Stefan Monnier <monnier AT iro.umontreal.ca>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Re: problem with proof general
Date: Wed, 01 Jun 2005 18:31:02 -0400
Cancel-lock: sha1:z5lOX1K420VRxHxKQKqiK03Jnj8=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

> http://proofgeneral.inf.ed.ac.uk/FAQ
> Check out the first question; it is likely your problem.

If it seems to be your problem, you may want to try the CVS version of
Proof-General where the problem is hopefully "fixed" (to the extent
possible at least).

Stefan

[Coq-Club] Re: problem with proof general, Stefan Monnier