[Agda] carbon emacs

[Ruben Henner Zilibowitz]

Hi Dan,

Thanks. Problem appears solved.

Ruben

On 09/03/2009, at 7:24 AM, Dan Licata wrote:

> 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
>>