• chevalier@alum.wellesley.edu's avatar
    Improve hierarchical module name handling in MkExternalCore · 87c93cf5
    chevalier@alum.wellesley.edu authored
    It's easier for the External Core parser if MkExternalCore prints
    module names like:
    rather than like:
    (which it was doing before.)
    So now we z-encode the hierarchical module-name part of a module
    name, but don't z-encode the ':'.
    I also removed some old comments that don't seem relevant anymore.