]> matita.cs.unibo.it Git - helm.git/commit
e-mail address fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Feb 2002 12:33:37 +0000 (12:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Feb 2002 12:33:37 +0000 (12:33 +0000)
commitdaffd29fef8c6868c4a34f772a9980efa2842db9
treec1ec1d679663ee19a98174dae02034f38e0aab2b
parent843582f786643b7eee5014ea41036a88b6f1f032
e-mail address fixed
helm/mowgli/home/xml/people/inria/rideau.xml