[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