[Agda] Agda executables names

[Andrés Sicard-Ramírez]

Since the Agda maintenance executables names are suffixed by the version
(e.g. agda-2.4.0.3 and agda-mode-2.4.0.3), is there some Emacs
configuration advice for using the different executables names?

Thanks,
-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140730/ecabcdb7/attachment.html