[Agda] Agda executables names

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Jul 31 05:12:53 CEST 2014


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


More information about the Agda mailing list