]> matita.cs.unibo.it Git - helm.git/commit
MOWGLI roles considered in people position
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Mar 2002 12:45:55 +0000 (12:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Mar 2002 12:45:55 +0000 (12:45 +0000)
commit29a4bd2afea28e62051cb491aa888ff51528a7b1
treec974ed0aa5eefec3a63585ec76a181902ca9caba
parentd22de6fda5ab935ae68e106794e7f05808aaea55
MOWGLI roles considered in people position
helm/mowgli/home/xml/people/aei/schutz.xml
helm/mowgli/home/xml/people/aei/wegner.xml
helm/mowgli/home/xml/people/bologna/asperti.xml
helm/mowgli/home/xml/people/bologna/sacerdoti.xml
helm/mowgli/home/xml/people/dfki/moschner.xml
helm/mowgli/home/xml/people/inria/herbelin.xml
helm/mowgli/home/xml/people/inria/pottier.xml
helm/mowgli/home/xml/people/inria/rideau.xml
helm/mowgli/home/xml/people/nijmegen/geuvers.xml