../ diske1 23-Dec-2017 18:02 363 emacsbin.tgz 23-Dec-2017 18:02 1M maketag 23-Dec-2017 18:02 1424 tagfile 23-Dec-2017 18:02 111 tagfile.org 23-Dec-2017 18:02 111 tagfile.pat 23-Dec-2017 18:02 111