(TXT) abstr.asc
 (HTM) abstr.html
 (DIR) gifs
 (TXT) vera-tex
 (BIN) vera.dvi
 (DOC) vera.pdf
 (BIN) vera.ps.gz