[Agda] font issue in emacs mode

[Andrés Sicard-Ramírez]

On 25 September 2014 09:04, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:

> Does not work for me either (I am on ubuntu 12.04).


It works for me on Ubuntu 12.04. My default font is "10x20".

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140925/2c3927b6/attachment.html