Comment by rurban

Wonder why they still haven't got their spark-like proof system from Ada. Would be more worth than playing with the graphics stuff, they added.