<br><div class="gmail_quote">On Fri, Sep 25, 2009 at 3:49 PM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@cs.nott.ac.uk">nad@cs.nott.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 2009-09-25 14:33, Robin Green wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Why are the agda list archives members-only?<br>
</blockquote>
<br></div>
I believe that this is a Chalmers policy.</blockquote><div><br></div><div>Oh, I might get an angry mail from the administration soon then. For now the archives should be public though (can someone verify that it worked?).</div>
<div><br></div><div>/ Ulf</div></div>