"J-P. Rosen" wrote in message news:lgjcj2$6hj$1@dont-email.me... > Le 22/03/2014 07:27, Tero Koskinen a écrit : >> There is also GELA ASIS: >> http://gela.ada-ru.org/gela_asis_ug >> >> which is used by one of the QtAda projects (http://www.qtada.com/). > Unfortunately, still incomplete and not making progresses any more. Not to mention that all of the links I can find for it are dead, other than summaries of the project (like the one above). [I just tried some of the links on that page and none worked.] I took it off of the AdaIC page more than a year ago because dead links show the wrong thing about Ada. Randy.