../ 00readme 10-Apr-2002 14:31 298 shorttoc.dtx 10-Apr-2002 14:34 8603 shorttoc.ins 10-Apr-2002 14:31 1372 shorttoc.pdf 15-Jul-2005 19:07 204981