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