April 2015 Archives by author

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

Starting: Thu Apr 2 14:36:59 CEST 2015
Ending: Wed Apr 29 17:34:52 CEST 2015
Messages: 13

• [Agda-dev] Phabricator as bug tracker system (off topic)   Andrés Sicard-Ramírez
• [Agda-dev] google code is nearing the end   Andrés Sicard-Ramírez
• [Agda-dev] google code is nearing the end   Andrés Sicard-Ramírez
• [Agda-dev] Migration of issues from Google Code   Andrés Sicard-Ramírez
• [Agda-dev] Agda 2.4.2.2. and cpphs 1.19   Andrés Sicard-Ramírez
• [Agda-dev] Re: Agda 2.4.2.2. and cpphs 1.19   Andrés Sicard-Ramírez
• [Agda-dev] Fwd: Misc agda2-mode patches   Nils Anders Danielsson
• [Agda-dev] Re: Phabricator as bug tracker system (off topic)   Karel Gardas
• [Agda-dev] Re: Epic back-end support   Philipp Hausmann
• [Agda-dev] Re: Agda 2.4.2.2. and cpphs 1.19   Erik Hesselink
• [Agda-dev] Phabricator as bug tracker system (off topic)   Ulf Norell
• [Agda-dev] Re: Phabricator as bug tracker system (off topic)   Jan Stolarek
• [Agda-dev] Re: Phabricator as bug tracker system (off topic)   Jan Stolarek

Last message date: Wed Apr 29 17:34:52 CEST 2015
Archived on: Wed Apr 29 18:58:07 CEST 2015

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