<div dir="ltr"><div><div><div>Hi all,<br><br></div>While working with Agda in Emacs, I usually switch include directories by editing &quot;Agda2 include dirs&quot; in the Agda2 group, but after installing the latest development agda I cannot find this entry any more. Did anything change to how include directories are specified? I cannot find anything about this in the changelog.<br><br></div>cheers,<br></div>Jesper<br></div>