outil pour les développeurs utilisant le langage de programmation ada95. l'objectif de adadoc est de créer une documentation en différents formats à partir d'un cahier des charges. pour le moment, il génère des documents aux formats html, latex, texinfo et stronghelp.