../ 00readme 10-Apr-2002 13:01 298 shorttoc.dtx 10-Apr-2002 13:04 8603 shorttoc.ins 10-Apr-2002 13:01 1372 shorttoc.pdf 15-Jul-2005 17:37 200K