rwxr-xr-x 4273/0 0 Jun 3 20:17 1994 doc/ rw-r--r-- 4273/0 716697 May 12 19:15 1994 doc/UW-CSE-92-07-01.PS