[University] AdaCore University

[Steve Riddle]

Hi,

I've been going over the AdaCore University labs, looking at the Stars lab
(basic types, etc). Just wanted to check something: all the lab files
(e.g. Stars_01_Basic_Types.zip) include a project file (.gpr) and src, sol
and obj directories. What they don't seem to include is the imported
project game_support.gpr which presumably define the Display and
Display.basic packages - should I be able to access them from somewhere?

many thanks,
Steve Riddle 
Newcastle University