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

raichoo raichoo at googlemail.com
Tue Nov 13 10:07:16 CET 2012


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'm not very skilled with emacs, maybe it's me doing something wrong here.

Kind regards,
raichoo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121113/68b3e54a/attachment.html


More information about the Agda mailing list