The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

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