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

Andreas Abel andreas.abel at ifi.lmu.de
Tue Nov 13 13:47:17 CET 2012


(I sometimes had this problem, but then could not reproduce it.)

What do you see in the *agda2* buffer?

On 13.11.2012 10:45, Cezar Ionescu wrote:
> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list