[Agda] syntax highlighting

Martin Escardo m.escardo at cs.bham.ac.uk
Fri Oct 5 18:24:05 CEST 2012


On 10/05/2012 01:53 PM, Francesco Mazzoli wrote:
>> Agda in Fedora 17 using "yum install emacs-agda".
>> Everything works except that there is no syntax highlighting in emacs.
>> Does anybody know a possible cause and/or fix for this?
>
> This is an issue I have as well (emacs 23.4, agda installed from hackage) which
> is solved by closing and opening the buffer again.  Worth a try... others on the
> IRC channel had the same problem.

This works, thanks. We shortened this workaround to "revert-buffer" 
(after making sure the buffer is saved).

Martin






More information about the Agda mailing list