The files in the "display" directory are in the process of being converted from color X11 to GIF format. This is because many more tools have been written to handle GIF than color X11, and GIF has become very common. ================ Seth Finkelstein sethf@athena.mit.edu