This patch was created on pand05 at Tue Apr 26 17:02:31 EDT 1994 The command used to create it was: gnudiff -b -r -c 10Mar94.all 10Mar94+ It is made available on an as-is basis, and carries no guarrantee that it even works, much less that it is fit for its purpose. If you find any problems with it, please report to mitra@pand05 You may use it as you wish, but if you make it pulicly available anywhere please notify me. To apply the patch cd to the directory with the source in it, and run patch -l -p1