[Agda] agda2-mode highlighting

[WILSON F.A.J.]

Is there some special procedure to get highlighting working in the emacs agda-mode? 
I can't find anything in the README about it. 
When I do M-x font-lock-fontify-buffer it only highlights the comments.

Thanks,

Frank Wilson
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080614/ee12b73c/attachment.html