../ intserv-attendees-95jul.txt 26-Oct-1995 15:15 3837 intserv-charter.txt 20-Oct-1995 14:44 7463 intserv-minutes-95jul.txt 17-Oct-1995 18:00 7690 intserv.davie.slides.ps 08-Aug-1995 17:35 138837 intserv.zhang.slides.ps 07-Aug-1995 17:46 43909