January 2007 Archives by subject

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

Starting: Mon Jan 29 19:16:00 CEST 2007
Ending: Tue Jan 30 08:19:52 CEST 2007
Messages: 3

• [Agda] Different versions of agda on Windows and Linux   Anton Setzer
• [Agda] Different versions of agda on Windows and Linux   Makoto Takeyama
• [Agda] Different versions of agda on Windows and Linux   Norio KATO

Last message date: Tue Jan 30 08:19:52 CEST 2007
Archived on: Tue Jan 30 08:20:05 CEST 2007

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