I've incorporated the fixes people sent me and posted an updated copy of structdir, release 4.7, on boole.stanford.edu:/pub. Thanks to Max Kelly for tipping me off to a domain naming issue I wasn't aware of, affecting half the Australian addresses. A while back there was a move to rename the Australian domain oz.au to edu.au, a change I duly made uniformly to all Australian hosts in the directory without further investigation. Now it looks as though Waltzing Matilda as the sentimental bloke's national anthem has been joined by oz.au as the sentimental bloke's domain name. Of the 13 Australian hosts represented in the Structures Directory, seven stuck with oz.au, with one permitting edu.au as a nickname, while six switched to edu.au, two of which permit oz.au as a nickname. For the record here they are (but it will be easier to ftp the revised directory from Boole, or email me requesting a copy by reply mail, than to make these changes manually.) OZ.AU: latcs1.lat.oz.au cs.su.oz.au maths.su.oz.au maths.uq.oz.au mullauna.cs.mu.oz.au mundoe.munnari.oz.au uqcspe.cs.uq.oz.au (edu ok) EDU.AU: adam.adelaide.edu.au arp.anu.edu.au (oz ok) bruce.cs.monash.edu.au (oz ok) echo.canberra.edu.au macadam.mpce.mq.edu.au socs.uts.edu.au Wonder if The Australian has spotted this newsworthy item yet. -- Vaughan Pratt (FTPables: boole.stanford.edu:/pub/ABSTRACTS.) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++