><^
Date: Thu, 15 Dec 1994 10:31:00 +0100 ><^
From: Steve Linton <sal@dcs.st-and.ac.uk> ><^
Subject: Re: how are library files used?
This was getting rather technical, so I have sent a long reply
directly to James (copied to the gap-trouble list) if anyone else
wants a copy, or wants to be included in the thread, let me know.