<br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 4:07 AM, raichoo <span dir="ltr">&lt;<a href="mailto:raichoo@googlemail.com" target="_blank">raichoo@googlemail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hi everyone,<div><br></div><div>I&#39;m having a problem with the Agda emacs mode after upgrading</div><div>to 2.3.2.</div><div><br></div><div>Whenever I hit C-c C-l I get </div><div><br></div><div>    Another command is currently in progress</div>


<div>    (if a command has been aborted you may want to restart Agda)</div><div><br></div><div>I don&#39;t get any highlighting.</div><div><br></div><div>The same setup worked fine before. I also did the agda-mode setup and agda-mode compile steps.</div>


<div><br></div><div>My version of emacs is  24.2.1.</div><div><br></div></blockquote><div><br>I couldn&#39;t reproduce the issue using the same version of Emacs in Ubuntu.<br><br>Which is the output of running the command<br>

<br>$ agda-mode locate<br><br>?<br></div></div><br>-- <br>Andrés<br><br>