May 2015 Archives by thread

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

Starting: Wed May 6 08:56:01 CEST 2015
Ending: Tue May 26 02:14:40 CEST 2015
Messages: 22

• [Agda-dev] Release Agda-2.4.2.3   Andreas Abel
  • [Agda-dev] Release Agda-2.4.2.3   Andrés Sicard-Ramírez
    • [Agda-dev] Release Agda-2.4.2.3   Andrés Sicard-Ramírez
  • [Agda-dev] Release Agda-2.4.2.3   Andrés Sicard-Ramírez
• [Agda-dev] Re: RFC: "Native -XCPP" Proposal   Andrés Sicard-Ramírez
• [Agda-dev] Travis work-flow   Andrés Sicard-Ramírez
  • [Agda-dev] Travis work-flow   Andreas Abel
    • [Agda-dev] Travis work-flow   Ulf Norell
      • [Agda-dev] Travis work-flow   Andrés Sicard-Ramírez
  • [Agda-dev] Re: Travis work-flow   Andrés Sicard-Ramírez
• [Agda-dev] Testing the installation of Agda 2.4.2.3 in Windows and Mac OS   Andrés Sicard-Ramírez
  • [Agda-dev] Testing the installation of Agda 2.4.2.3 in Windows and Mac OS   Ulf Norell
• [Agda-dev] ANNOUNCE: Agda 2.4.2.3 release candidate   Andrés Sicard-Ramírez
  • [Agda-dev] Re: ANNOUNCE: Agda 2.4.2.3 release candidate   Andrés Sicard-Ramírez
    • [Agda-dev] Re: [Agda] Re: ANNOUNCE: Agda 2.4.2.3 release candidate   Andreas Abel
    • [Agda-dev] Re: [Agda] Re: ANNOUNCE: Agda 2.4.2.3 release candidate   Andreas Abel
• [Agda-dev] Unnecessary message from Cabal test?   Andrés Sicard-Ramírez
  • [Agda-dev] Unnecessary message from Cabal test?   Philipp Hausmann
  • [Agda-dev] Unnecessary message from Cabal test?   Nils Anders Danielsson
• [Agda-dev] Re: [Agda] ANNOUNCE: Agda 2.4.2.3 release candidate   Andrés Sicard-Ramírez
  • [Agda-dev] Re: [Agda] ANNOUNCE: Agda 2.4.2.3 release candidate   Sergei Meshveliani
• [Agda-dev] ANNOUNCE: Agda 2.4.2.3 release   Andrés Sicard-Ramírez

Last message date: Tue May 26 02:14:40 CEST 2015
Archived on: Tue May 26 02:15:24 CEST 2015

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