[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