]> matita.cs.unibo.it Git - helm.git/commit
Wrong cut & paste from Herbelin's data.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 11:29:39 +0000 (11:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 11:29:39 +0000 (11:29 +0000)
commit916a721839ac29fb98af0412bdd00733e4d5cedb
treee17c43dc013f4d3d0b830b4f36c1ed9c630e2e7a
parent72ddbb24e348c0ae3db9340b5794505d8a8a7426
Wrong cut & paste from Herbelin's data.
helm/mowgli/home/xml/people/inria/amerkad.xml