[Agda] Aquamacs pain
Andreas Abel
andreas.abel at ifi.lmu.de
Wed Jan 16 10:06:21 CET 2013
Hi Liam,
I had to experiment a bit to get unicode characters displayed on my Mac
OS X Emacs. Although it is not Aquamacs, maybe my findings could help you:
https://lists.chalmers.se/pipermail/agda/2012/004613.html
The essential step was installing some fonts, e.g. DejaVu. I put my
findings up to the wiki:
http://wiki.portal.chalmers.se/agda/agda.php?n=Docs.HowToSeeUnicode
Cheers,
Andreas
On 14.01.13 12:53 PM, Liam O'Connor wrote:
> Hi all,
>
> I'm setting up Agda on my new mac, and Aquamacs is giving me grief. Any
> unicode symbol is simply rendered as a space
>
> In the past, I was successfully using GNU unifont as my font (because it
> supports all unicode glyphs) but when I tried it this time result was
> just a garbled mess of characters (a lot of @ signs and crazy symbols)
> and Aquamacs crashing.
>
> Has anyone had luck making unicode symbols work in Aquamacs? Sorry, I'm
> not very well versed in emacs hacking.
>
> Regards,
> Liam O'Connor
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list