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