<br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 4:07 AM, raichoo <span dir="ltr"><<a href="mailto:raichoo@googlemail.com" target="_blank">raichoo@googlemail.com</a>></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'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'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'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>