November 2006 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Nov 15 09:10:33 CEST 2006
Ending: Wed Nov 15 09:10:33 CEST 2006
Messages: 1

• [Agda] Make latin-1 characters in Agda(1) obsoleted ?   Nobuo Yamashita

Last message date: Wed Nov 15 09:10:33 CEST 2006
Archived on: Wed Nov 15 09:10:36 CEST 2006

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...