]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/people/inria
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / inria /
2002-03-20 Claudio Sacerdoti... * New data
2002-03-20 Claudio Sacerdoti... MOWGLI roles considered in people position
2002-02-22 Claudio Sacerdoti... e-mail address fixed
2002-02-13 Claudio Sacerdoti... Wrong cut & paste from Herbelin's data.
2002-02-12 Claudio Sacerdoti... Initial commit of the XML/XSLT stuff.