[Agda] emacs problems

[Nils Anders Danielsson]

On 2009-06-18 11:08, Shin-Cheng Mu wrote:
>   Mac OS X 10.5.7
>   GNU Emacs 22.3.1 (i386-apple-darwin9.6.0, Carbon Version 1.6.0)
>    of 2009-02-18 on plume.sr.unh.edu - Aquamacs Distribution 1.7
>   GHC 6.10.1

Darin had the same setup as you, except that he used GHC 6.10.3. Can you
see if it works with that version of GHC? GHC 6.10.1 uses editline,
whereas GHC 6.10.3 uses haskeline.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.