[Agda] emacs problems

Andreas Buechele andreas.buechele at googlemail.com
Wed Jun 17 10:46:05 CEST 2009


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

I'm using gentoo linux:

Linux version 2.6.29-gentoo-r5 (root at trinity) (gcc version 4.3.2 (Gentoo
4.3.2-r3 p1.6, pie-10.1.5) ) #1 SMP PREEMPT Tue Jun 2 12:31:07 CEST 2009

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/be734f7e/signature.bin


More information about the Agda mailing list