On 4/07, Arnaud Charlet wrote: | Now, we have no problem if people find this tool useful and want to use it for | their own purpose, which is why we distribute and reference it. Would be a good idea to distribute it under the name, say, AdaDoc? :)