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