[Agda] emacs hangs when loading agda2-mode

Brent Yorgey byorgey at gmail.com
Sat May 17 23:37:38 CEST 2008


Hi all,

I used to have agda2-mode working with emacs, but recently for some reason
emacs simply hangs when I try to load agda2-mode.  I have the latest darcs
version of Agda2, and GNU emacs 22.1.1.  I recopied the .el files from
src/full/Interaction/emacs-mode to my site-lisp directory after rebuilding
agda with the latest patches, but that didn't seem to help.  Anyone have any
ideas why this might be happening?

thanks,
-Brent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080517/1cbb9717/attachment.html


More information about the Agda mailing list