[Agda] carbon emacs
Dan Licata
drl at cs.cmu.edu
Sun Mar 8 21:24:00 CET 2009
Hi Ruben,
I think that's because carbon emacs doesn't know about the fonts that
the Agda mode is trying to use.
I set
agda2-fontset-name
to 'nil'
to tell Agda not to change the font. You can do this with
Meta-X customize-variable
agda2-fontset-name
-Dan
On Mar09, Ruben Henner Zilibowitz wrote:
> 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
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
More information about the Agda
mailing list