Guido> Note that 1.2 isn't out yet, but a beta version can be found on
Guido> ftp.cwi.nl in pub/guido. If you use this you're expected to ket me
Guido> know about anything that doesn't work!
Just for the record, 1.2-beta-3 seems to run without any problems on
my Linux box, (and several other machines as well.)
Take Care,
Harri
-- ========================================================================== Harri Pasanen pa@tekla.fi