[Agda] agda-mode stopped working

[Nils Anders Danielsson]

On 2010-06-11 09:32, Thorsten Altenkirch wrote:
> Oops, not true. When trying to fix another problem (my emacs mode was
> broken) I accidently installed the release version by saying "cabal
> install Agda".

This is not quite right. You had installed two versions of Agda 2.2.7,
the development version. The command "cabal install Agda" installs a
released version, probably 2.2.6.

I'm glad that your problem has been resolved, though.

--
/NAD