revert to 1.18, changed Distribution/lib/Tools/makeall instead
revert to 1.18, changed Distribution/lib/Tools/makeall instead

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