../ 00README 25-May-2001 10:14 127 CHANGES.jp 25-May-2001 10:14 192 READ.ME 25-May-2001 10:14 580 jlshort-1.00.src.tar.gz 25-May-2001 10:14 79K jlshort-book.ps 25-May-2001 10:14 2M jlshort.dvi 25-May-2001 10:15 469K jlshort.ps 25-May-2001 10:15 2M