(TXT) 00_TRANS.TBL
 (TXT) diske1
 (BIN) elisp1.tgz
 (TXT) maketag
 (TXT) maketag.ez
 (TXT) tagfile
 (TXT) tagfile.org