[Agda] agda-mode stopped working

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Jun 10 22:39:04 CEST 2010


On 2010-06-10 21:15, Thorsten Altenkirch wrote:
> I have restarted emacs and I hope that now I only have one version of
> Agda installed.

Can you give me the output of the following commands?

which agda-mode
agda-mode locate
grep -C1 "agda-mode locate" ~/.emacs
ghc-pkg list  Agda

-- 
/NAD


More information about the Agda mailing list