[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