[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