[Agda] Problems with emacs agda-mode after upgrading to 2.3.2

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Tue Nov 13 13:43:57 CET 2012


On Tue, Nov 13, 2012 at 4:07 AM, raichoo <raichoo at googlemail.com> wrote:

> Hi everyone,
>
> I'm having a problem with the Agda emacs mode after upgrading
> to 2.3.2.
>
> Whenever I hit C-c C-l I get
>
>     Another command is currently in progress
>     (if a command has been aborted you may want to restart Agda)
>
> I don't get any highlighting.
>
> The same setup worked fine before. I also did the agda-mode setup and
> agda-mode compile steps.
>
> My version of emacs is  24.2.1.
>
>
I couldn't reproduce the issue using the same version of Emacs in Ubuntu.

Which is the output of running the command

$ agda-mode locate

?

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121113/b4727bbd/attachment.html


More information about the Agda mailing list