| #
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
|