November 2005 Archives by thread

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

Starting: Tue Nov 22 16:19:30 CEST 2005
Ending: Tue Nov 22 16:19:30 CEST 2005
Messages: 1

• [Agda] Details on Agda 2...   Pierre Hyvernat

Last message date: Tue Nov 22 16:19:30 CEST 2005
Archived on: Tue Nov 22 16:19:47 CEST 2005

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