Originally Posted by andreas
Sorry, but I must go into instruction mode for a second.
You sometimes tend to shout at people who ask obvious things that could be looked up in FAQs.
It is not obvious that he filled the HOL with this data, however I assume not looking at it because I didnt even read the name "super hang on".
By the way it is nice to see that you are filling up the HOL with data YOU THINK
is correct. So much for accuracy. Shock horror! It's just me being as always!