ian Tue, 12 Oct 93 15:05:15 +0100
The ftp directory for brisk at ftp.cs.bris.ac.uk is /functional/brisk, not /pub/functional/brisk. Sorry, and thanks to Kent Karlsson for pointing this out. Ian [EMAIL PROTECTED], Tel: 0272 303334