February 2015 Archives by date

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

Starting: Tue Feb 3 18:34:24 CEST 2015
Ending: Fri Feb 27 20:56:09 CEST 2015
Messages: 21

• [Agda-dev] Changes to the standard library and the Agda test suite   Andrés Sicard-Ramírez
• [Agda-dev] Re: Changes to the standard library and the Agda test suite   Andrés Sicard-Ramírez
• [Agda-dev] Git 2.3 has been released   Andrés Sicard-Ramírez
• [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch   Andrés Sicard-Ramírez
• [Agda-dev] Proposal: Remove the --interactive option   Andrés Sicard-Ramírez
• [Agda-dev] Proposal: Remove the --interactive option   Andreas Abel
• [Agda-dev] Proposal: Remove the --interactive option   Ulf Norell
• [Agda-dev] Proposal: Remove the --interactive option   Andrés Sicard-Ramírez
• [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch   Nils Anders Danielsson
• [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch   Andrés Sicard-Ramírez
• [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch   Wolfram Kahl
• [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch   Andrés Sicard-Ramírez
• Release blockers [Re: [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch]   Andreas Abel
• Release blockers [Re: [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch]   Andrés Sicard-Ramírez
• Release blockers [Re: [Agda-dev] Discussion: Missing bug-fix commit in the maintenance branch]   Andreas Abel
• [Agda-dev] Re: Discussion: Missing bug-fix commit in the maintenance branch   Andrés Sicard-Ramírez
• [Agda-dev] Critical priority   Ulf Norell
• [Agda-dev] Critical priority   Andreas Abel
• [Agda-dev] Critical priority   Andrés Sicard-Ramírez
• [Agda-dev] Fwd: Misc agda2-mode patches   Ulf Norell
• [Agda-dev] Re: [agda] refactoring: make easier to use the Agda library for generating HTML (#32)   Andreas Abel

Last message date: Fri Feb 27 20:56:09 CEST 2015
Archived on: Fri Feb 27 20:56:55 CEST 2015

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