[Agda] agda2-mode highlighting

[Ulf Norell]

On Sat, Jun 14, 2008 at 3:40 PM, WILSON F.A.J. <frank.wilson at durham.ac.uk>
wrote:

>  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.
>
You need to typecheck your file to get the highlighting. Choose the Load
command from the Agda2 menu or hit C-c C-x C-l.

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