gnat_ug_unx.info* gnat_ug_vms.info* gnat_ug_vxw.info* gnat_ug_wnt.info* gnat_rm.info* gnat-style.info*