Re: SLNM 344, corrected ftp-address

• To: Marc Bezem <Marc.Bezem@nl.ruu.phil>, types@uk.ac.glasgow.dcs
• Subject: Re: SLNM 344, corrected ftp-address
• From: eytan@fr.u-strasbg.dpt-info (Michel Eytan, LILoL)
• Date: Tue, 27 Jul 93 16:04:18 +0100
• Approved: types@dcs.gla.ac.uk

At 11:24 am 23-7-93 +0200, Marc Bezem wrote:

>The previous message contained an inaccessible ftp-address.  I am very
>sorry to have caused this inconvenience. The fact is, that in the last
>few weeks our systems group has installed a new operating system, with
>many resultant changes. The message on the new edition was composed
>before this change took place. Now one should ftp to
>
>        mail@fwi.uva.nl
>
>For the sake of completeness I give the corrected message below.
>Greetings, A.S. Troelstra.

Sorry to intervene again. You cannot ftp to an e-mail address -- it's only
to a *site*. The correct ftp address is

        fwi.uva.nl 

• Prev: A question for Martin-L\"of disciples
• Next: paper available: 2nd-order Lambda Calculus Typability Undecidable
• Index(es):
  • Main
  • Thread