]> matita.cs.unibo.it Git - helm.git/commit
New MOWGLI member.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Mar 2002 15:00:03 +0000 (15:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Mar 2002 15:00:03 +0000 (15:00 +0000)
commit77152883aff5a48fcef70fe0186733a7d7c98ccd
tree102ab9bc51fd5f1e5bb3a23a062b8a3ef6d50454
parent39eaf992d15e240fef162d926b0585b0799e2bda
New MOWGLI member.
helm/mowgli/home/xml/people/trusted-logic/gimenez.xml [new file with mode: 0644]