18 Sep
2012
18 Sep
'12
10:32 a.m.
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