(TXT) 00dir.cmd
 (HTM) 00dir.html
 (TXT) 00dir.lst
 (TXT) 00tdir.cmd
 (HTM) 00tdir.html
 (TXT) 00tdir.lst
 (TXT) index
 (HTM) index.html
 (TXT) institut.bib
 (BIN) institut.sok
 (TXT) journal.bib
 (BIN) journal.sok
 (TXT) mrabbrev.bib
 (BIN) mrabbrev.sok
 (TXT) publish.bib
 (BIN) publish.sok