[Agda] emacs problems

[Andreas Buechele]

Martin Escardo schrieb:
> Try deleting the hidden .*.el file for your agda file. I once had a
> similar problem with emacs/agda that was solved by that. Martin

No, this doesn't solve the problem.

Bye,
  Andreas

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
Url : https://lists.chalmers.se/mailman/private/agda/attachments/20090617/2453efa0/signature.bin