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