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