[Agda] [Fwd: Agda post from makoto.takeyama@aist.go.jp requires approval]

Ana Bove bove at cs.chalmers.se
Sun Feb 10 22:23:34 CET 2008


Hi,

It says I should approve this message sent by Makoto (as admin of the 
list) but when I click on the link I do not have anything to approve or 
disapprove.. So I forward this instead.

Best

-- 
-- Ana

************************************************************************
                                ANA  BOVE
 bove(at)cs.chalmers.se  Department of Computer Science and Engineering
 http://www.cs.chalmers.se/~bove      Chalmers University of Technology
 Phone (work) :(46)(31) 772 10 20          and University of Gothenburg
 Fax (work)   :(46)(31) 772 36 63        S-412 96 Gothenburg  -  SWEDEN
************************************************************************

-------------- next part --------------
An embedded message was scrubbed...
From: agda-owner at lists.chalmers.se
Subject: Agda post from makoto.takeyama at aist.go.jp requires approval
Date: Fri, 08 Feb 2008 04:15:24 +0100
Size: 72124
Url: http://lists.chalmers.se/pipermail/agda/attachments/20080210/ee402c5a/Agdapostfrommakoto.takeyamaaist.go-0001.mht


More information about the Agda mailing list