revised and auxiliary files