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