[Agda] List archives
Ulf Norell
ulf.norell at gmail.com
Fri Sep 25 15:44:17 CEST 2009
On Fri, Sep 25, 2009 at 3:33 PM, Robin Green <greenrd at greenrd.org> wrote:
> Why are the agda list archives members-only?
Excellent question.
> Will this restriction be removed at some point?
>
Yes, just now :-) (At least I think I managed to convince the admin
interface to make the archives public.)
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20090925/b63ae201/attachment.html
More information about the Agda
mailing list