> Building HOL4 with 5.5.0 seems to be very slow, compared to 5.4.1. I don't > have numbers yet, just an impression. Any clues why this might be? Are the > release notes online?
I encountered poor performance the first time I did a HOL4 build under Poly/ML 5.5, but now I’m almost certain that this must have been due to other processes that were running at the same time. I’ve now built HOL4 using Poly/ML 5.5 a few times and on a couple of different machines. Scott Owens has also done a build as well. My conclusion is that, in the context of HOL4, version 5.5 offers a modest speedup over 5.4.1 (I’d say under 10% faster overall). Anthony Fox _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
