The Coq mailing list

[Benjamin Werner <Benjamin.Werner AT inria.fr>]

It works fine, at least with Pierre Courtieu's latest patch.

I guess he can make it available.

Cheers,

Benjamin



Le 13 mars 07 à 14:11, Benjamin Pierce a écrit :

> I've been having trouble getting (the latest) Proof General to work  
> with Coq (8.1) on a (10.4.8 intel) Mac: everything seems to load  
> fine when I visit a .v file, but the first thing that I do that  
> requires starting Coq hangs.
>
> It appears this may be an instance of the infamous "locale bug" --  
> #1 in the PG FAQ:
>
>     http://proofgeneral.inf.ed.ac.uk/FAQ
>
> If so, then the workaround is to set my locale to something else so  
> that the bytestream coming from Coq is not interpreted by Emacs as  
> UTF-8.  But I'm not sure how to do this on a Mac, or what would be  
> a good alternative setting.
>
> If someone else has solved this problem, I'd be grateful for a  
> little recipe...
>
> Thanks,
>
>     Benjamin
>
>
>
>
> --------------------------------------------------------
> Bug reports: http://coq.inria.fr/bin/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