coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.3 + Proofgeneral + Unicode

From: Paolo Herms <paolo.herms AT cea.fr>
To: coq-club AT inria.fr
Cc: AUGER <Cedric.Auger AT lri.fr>
Subject: Re: [Coq-Club] Coq 8.3 + Proofgeneral + Unicode
Date: Mon, 29 Mar 2010 15:53:13 +0200

On Monday 29 March 2010 13:06:20 AUGER wrote:
> Have you tried with 8.2, and your bug is 8.3 specific?

With coq 8.2 the problem does not occur on the same machine, so I rule out
font or configuration problems.
--
Paolo Herms
PhD Student - CEA-LIST Software Safety Lab. / INRIA ProVal Project
Paris, France

[Coq-Club] Coq 8.3 + Proofgeneral + Unicode, Paolo Herms
- Re: [Coq-Club] Coq 8.3 + Proofgeneral + Unicode, Paolo Herms
  - Re: [Coq-Club] Coq 8.3 + Proofgeneral + Unicode, Pierre Courtieu