The Coq mailing list

[Thomas Strathmann <thomas AT pdp7.org>]

On 5/9/11 12:55 , Jelle Herold wrote:
> 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?

I've struggled with this problem, too. My solution so far is to use the 
built-in input methods of Emacs in conjunction with some custom abbrevs 
for Unicode symbols I actually use. If someone knows a more general way 
that actually works well I'd be interested.

        Thomas