June 2016 Archives by thread

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

Starting: Wed Jun 15 18:06:54 CEST 2016
Ending: Tue Jun 21 17:31:04 CEST 2016
Messages: 2

• [Agda-dev] 2.5.1.1 RC1   Ulf Norell
• [Agda-dev] [ANNOUNCE] Agda 2.5.1.1   Andrés Sicard-Ramírez

Last message date: Tue Jun 21 17:31:04 CEST 2016
Archived on: Tue Jun 21 17:31:52 CEST 2016

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