]> matita.cs.unibo.it Git - helm.git/commit
Data refined.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Mar 2002 10:24:18 +0000 (10:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Mar 2002 10:24:18 +0000 (10:24 +0000)
commitfb49175fdc88cc19aa19edeb513881d93a29724a
tree31ab5d2d6a66b50f41c7e9a9a0e6fd153084a3cf
parent0474bcec6d3bb8972eec0964a34872712122f340
Data refined.
helm/mowgli/home/xml/people/dfki/moschner.xml