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