../ README 03-Oct-1994 00:00 520 vector.dtx 03-Oct-1994 00:00 10K vector.ins 03-Oct-1994 00:00 787 vector.pdf 13-Aug-2005 00:00 176K