[Agda] The Agda wiki has disappeared

Ulf Norell ulfn at chalmers.se
Mon Jan 12 13:07:35 CET 2009


On Mon, Jan 12, 2009 at 11:26 AM, Nils Anders Danielsson
<nad at cs.nott.ac.uk>wrote:

> Hi,
>
> The Agda wiki has disappeared. The old URL redirects to
> http://www.somweb.se/somweb/. My guess is that someone at Chalmers has
> redirected too many URLs from appserv.cs.chalmers.se to the SOMWeb
> project; a .htaccess file might need to be updated.


I've sent a mail to support. Hopefully we'll be back in business shortly.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090112/f4838e3d/attachment.html


More information about the Agda mailing list