[Agda] agda-mode stopped working

[Andrés Sicard-Ramírez]

Hi Thorsten,

On 10 June 2010 11:17, Thorsten Altenkirch <txa at cs.nott.ac.uk> wrote:
> Hi,
>
> after installing the latest version of agda I get a strange error message which seems to imply that I am using the wrong emacs mode.
>
> Any ideas?

You can see the version of the Agda emacs mode using

C-h v agda2-version RET

Are you using the version 2.2.7?

Best,
-- 
Andrés