The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT cnam.fr>]

Le Tue, 13 Mar 2007 14:29:28 +0100,
Benjamin Werner 
<Benjamin.Werner AT inria.fr>
 a écrit :

> I am sorry for my previous message. Actually I use the cvs version
> of PG of some time ago and it works. I hope PG did not change much  
> since.
> 
> Here is what Pierre advised me to do :

Hello this patch is still ok. You can take the development
version of pg (http://zermelo.dcs.ed.ac.uk/devel).

Be aware that (setq coq-utf-safe t) does not work with old
versions of PG  and/or old versions of coq.

Now that coq-8.1 is out, this will soon become the default
configuration (no more special symbols in coq prompt).

**Please tell me if this does not work**

Cheers,
Pierre Courtieu