November 2004 Archives by author

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

Starting: Wed Nov 3 14:32:32 CEST 2004
Ending: Mon Nov 29 12:18:07 CEST 2004
Messages: 15

• [Agda] Termination checker change?   Andreas Abel
• [Agda] Meeting about Agda   Andreas Abel
• [Agda] New version   Marcin Benke
• [Agda] Bug fix   Marcin Benke
• [Agda] Agda release plan   Marcin Benke
• [Agda] does anyone know Qiao Yu?   Ana Bove
• [Agda] Termination checker change?   Catarina Coquand
• [Agda] Meeting about Agda   Catarina Coquand
• [Agda] New version   Catarina Coquand
• [Agda] Notes from Agda meeting   Catarina Coquand
• [Agda] Termination checker change?   Thomas Hallgren
• [Agda] [Fwd: SourceForge.net Project Registration: agda]   Patrik Jansson
• [Agda] Termination checker change?   Patrik Jansson
• [Agda] [Fwd: SourceForge.net Project Registration: agda]   Patrik Jansson
• [Agda] Agdalib branch needs merging   Patrik Jansson

Last message date: Mon Nov 29 12:18:07 CEST 2004
Archived on: Mon Nov 29 12:21:37 CEST 2004

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