[Agda] emacs agda mode on apple mac os x

[WILSON F.A.J.]

Can anybody suggest a setup procedure for Agda mode on os x?
I tried to follow the README file in the darcs distribution of Agda2 
but there are some steps that seem windows specific that I had to miss out.

(Obviously) The following property and function are not available in any of the 
 distributions of emacs. (I tried aquamacs, carbon emacs and xemacs from macports)

      (setq w32-bdf-filename-alist
            (w32-find-bdf-fonts bdf-directory-list))

(I also tried converting the suggested fonts to dfont format with fontforge.
This doesn't work for "custom" character sets. Installing the remaining fonts I managed to convert didnt seem to help)

Agda mode seems to load whenever I load an agda file but I do not seem to get any highlighting.
I get this error in the messages buffer whenever agda mode loads:

Warning: no fonts matching `-misc-fixed-medium-r-normal-*-15-*-*-*-*-*-iso8859-1' available
Warning: no fonts matching `-*-fixed-medium-r-normal-*-15-*-*-*-*-*-iso8859-1' available
Warning: no fonts matching `-*-*-medium-r-normal-*-15-*-*-*-*-*-iso8859-1' available
Warning: no fonts matching `-*-*-*-r-normal-*-15-*-*-*-*-*-iso8859-1' available
Warning: no fonts matching `-*-*-*-*-normal-*-15-*-*-*-*-*-iso8859-1' available
Warning: no fonts matching `-*-*-*-*-*-*-15-*-*-*-*-*-iso8859-1' available [2 times]
Warning: no fonts matching `-*-*-*-*-*-*-*-*-*-*-*-*-iso8859-1' available [6 times]

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080526/6a77cc00/attachment.html