[Prev][Next][Index][Thread]

Re: TeX-ed version of Prof. Plotkin's course note Domains now available



Date: Wed, 22 Jul 92 02:23:27 JST

Hi there.
Now anonymous ftp is available to get the document.

host: ftp.cs.titech.ac.jp [131.112.172.15]
file: pub/doc/Plotkin.dvi.Z

-- enjoy, Ki.