These should now both be fixed. I don't understand why the second problem happened but I've uploaded a new version and it seems fine now. David.
On Wednesday, Oct 2, 2002, at 19:12 Europe/London, Ian Zimmerman wrote:
itz> the link to the i386 database file on the webpage is wrong:
A more serious problem:
kronstadt:~/downloads$ wget http://www.polyml.org/source/polyml-mlsource-4.1.3.tar.gz kronstadt:~/downloads$ gunzip polyml-mlsource-4.1.3.tar.gz