[Agda] The Agda wiki has disappeared
Ulf Norell
ulfn at chalmers.se
Tue Jan 13 11:21:16 CET 2009
On Mon, Jan 12, 2009 at 1:07 PM, Ulf Norell <ulfn at chalmers.se> wrote:
>
> On Mon, Jan 12, 2009 at 11:26 AM, Nils Anders Danielsson <
> nad at cs.nott.ac.uk> wrote:
>
>>
>> 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.
>
>
The wiki is back up.
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090113/8b1d7310/attachment.html
More information about the Agda
mailing list