[Agda-dev] Fwd: Misc agda2-mode patches

Nils Anders Danielsson nad at cse.gu.se
Fri Apr 10 14:38:56 CEST 2015

Previous message: [Agda-dev] Re: Epic back-end support
Next message: [Agda-dev] Phabricator as bug tracker system (off topic)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2015-02-19 17:12, Ulf Norell wrote:
> [Patch from Stefan Monnier.]

Pushed.

-- 
/NAD

Previous message: [Agda-dev] Re: Epic back-end support
Next message: [Agda-dev] Phabricator as bug tracker system (off topic)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list