../ 00README 25-May-2001 17:14 127 CHANGES.jp 25-May-2001 17:14 192 READ.ME 25-May-2001 17:14 580 jlshort-1.00.src.tar.gz 25-May-2001 17:14 81013 jlshort-book.ps 25-May-2001 17:14 1670804 jlshort.dvi 25-May-2001 17:15 480180 jlshort.ps 25-May-2001 17:15 1632662