[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