The Coq mailing list

[Jelle Herold <jelle AT defekt.nl>]

Dear coq-users,

I've successfully compiled coq trunk under the mac, with some hints from 
pboutill on IRC.
It's documented here: http://coq.inria.fr/cocorico/BuildingCoqOnMac

I still need to find a nice way to do unicode input, my colleagues use ibus 
or m17n in linux;
Do you know of any comparable input methods for the mac?

Best regards,

Jelle.