<div dir="ltr">Hi all,<div><br></div><div>Does anyone know what I need to do, to fix this?</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><font face="monospace">$ agda-mode.exe setup</font></div><div><font face="monospace">agda-mode.exe: emacs: rawSystem: does not exist (No such file or directory)</font></div></blockquote><div><br></div><div>Thanks,</div><div>-db</div><div><br></div></div>