<<Note that you still need to fix the GNAT bug box to point to GNATS rather than to the ACT bug tracking system. >> Actually this is trivial to do, all that is necessary is to put a file gnat_bug.box with the right text in the library. We have this on the list.