improved handling of symlinks; ALL_LOGICS: topological order; removed remains of deceased -p option; reverted accidental commit of user modification;
improved handling of symlinks;
ALL_LOGICS: topological order;
removed remains of deceased -p option;
reverted accidental commit of user modification;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle