[Agda] Problems with emacs agda-mode after upgrading to 2.3.2
Cezar Ionescu
ionescu at pik-potsdam.de
Tue Nov 13 10:45:00 CET 2012
I see the same problem here, with emacs 23.3.1 running under Ubuntu
12.10.
Best,
Cezar.
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'm not very skilled with emacs, maybe it's me doing something wrong
> here.
>
> Kind regards,
>
> raichoo
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
More information about the Agda
mailing list