[Agda] emacs problems

[Andreas Buechele]

Ulf Norell schrieb:
> That is indeed very strange. The file is working perfectly for me
> (MacOsX + Aquamacs-22). What operating system are you using? 

Now, I gave emace-22 a try, but it shows the same behaviour.

Something funny:
- Starting emacs with the file i've sent
- Hit "C-c C-l"
- Hit "C-," on goal => described behaviour
- delete first line without saving or reloading
- Hit "C-," on goal => everything works fine

Bye,
  Andreas