[DamienD]

Originally Posted by DrBong

Thanks, just fixed the d/l link for the Energy demo in the HOL entry.

Hey Prof Bong, I was the one who originally pointed out the "dodgy" HOL entry in the first place... Where's my thanks?!?

<joking>

...anyway, file is named correctly / available in the latest TOSEC set anyway these days