I am continuing to be plagued by HOL failing to build, stalling quite reproducibly after about two minutes of processor time. It's a big obstacle to getting any work done, so tips would be welcome. Larry