archive.adaic.com/pol-hist/his…The first 1815A validation certificate was issued for the Ada/Ed interpreter on 11 April 1983, [ . . . ] By 1987 there were more than 100 validated compilers, and by 1...
Can't find info on whether GNAT was bootstrapped from Ed/Ada or something else.