[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