[Agda] carbon emacs

Ruben Henner Zilibowitz rzilibowitz at yahoo.com.au
Sun Mar 8 21:12:56 CET 2009


Hi,

Has anyone been able to use Carbon Emacs on Mac OS X with Agda? Below  
are the messages I get including the error when I try to load a file  
ending in .agda:

Loading subst-ksc...done
Loading subst-gb2312...done
Loading subst-big5...done
Loading subst-jis...done
Loading cl-extra...done
Loading cl-seq...done
Loading quail/latin-ltx...done
Loading derived...done
File mode specification error: (error "No fonts match `-misc-fixed- 
medium-r-normal--18-120-100-100-c-90-iso8859-1'")

Regards,

Ruben




More information about the Agda mailing list