[chip]

Hi guys

Just a very simple question

Sometimes, scanning stuff for my project ADA, i find games which are not listed in HOL

So i'd like simple to know if HOL lists ALL the games around or ONLY certain ones

Perhaps only if the game is "important" in some way is added ?

Thanks in advance, chip