[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