[Agda] syntax highlighting

Nils Anders Danielsson nad at chalmers.se
Fri Oct 5 20:24:42 CEST 2012


On 2012-10-05 14:49, Martin Escardo wrote:
> Someone installed 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?

I think this problem is fixed in the development version of Agda.

-- 
/NAD


More information about the Agda mailing list