../ INSTALLATION.txt 04-Oct-1998 05:00 7074 boris_README.html 18-May-1998 05:00 34K boris_README.txt 18-May-1998 05:00 23K hebexmpl.tar.gz 23-Jul-1998 05:00 220K hebfonts.tar.gz 23-Jul-1998 05:00 302K heblatex.tar.gz 23-Jul-1998 05:00 48K readme_first 19-May-1998 05:00 73 special.map 28-Sep-1998 05:00 14K