On 17/09/2012 16:22, Ramana Kumar wrote:
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've updated the release notes which list the changes but I really need to go through and add more documentation. If 5.5 really is slower with HOL4 I would like to know why. Measurements with Isabelle show big improvements.
David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
