[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