#
a243ebfd |
|
27-Mar-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Changes to get Moscow ML impl. to build once more Includes: - deletion of unused TermCoding module - correction of failure to build Holmake - movement of HOLPP out of impl. specific directories; impl. specific stuff now in PrettyImpl module
|