[Agda] font issue in emacs mode

Andreas Abel andreas.abel at ifi.lmu.de
Thu Sep 25 16:33:15 CEST 2014


On 25.09.2014 16:02, Paolo Capriotti wrote:
>      (set-fontset-font "fontset-default" 'unicode "DejaVu Sans")

Great, works!

Added this hint to:
   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.HowToSeeUnicode

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list