Name Last modified Size Description Parent Directory - 00readme 2002-04-10 16:31 298 shorttoc.ins 2002-04-10 16:31 1.3K shorttoc.dtx 2002-04-10 16:34 8.4K shorttoc.pdf 2005-07-15 21:07 200K