[Agda] Agda under emacs

[Nils Anders Danielsson]

On 2015-10-17 06:13, Sergei Meshveliani wrote:
> Now I try to run  Development Agda  of October 8 2015
> under  emacs.
>
>> emacs Foo.agda
>
>    Ctrl-C Ctrl-l
>
> reports
>
> "Another command is currently in progress
> (if a command has been aborted you may want to restart Agda)
> "

It's hard for me to tell what's going on here without more information.
Is the error reproducible (if you reinstall Agda)? In that case, please
provide us with the exact sequence of actions that led to the error
above.

-- 
/NAD