rwxr-xr-x 4273/0 0 Dec 27 18:15 1993 papers/ rw-r--r-- 4273/0 441495 Aug 19 02:31 1993 papers/vega-proposal.ps