../ README 03-Oct-1994 08:00 520 vector.dtx 03-Oct-1994 08:00 10289 vector.ins 03-Oct-1994 08:00 787 vector.pdf 13-Aug-2005 08:00 180048