]> matita.cs.unibo.it Git - helm.git/commit
Missing informations filled in.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Feb 2002 18:37:34 +0000 (18:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Feb 2002 18:37:34 +0000 (18:37 +0000)
commit843582f786643b7eee5014ea41036a88b6f1f032
treea436daf32179b58c250fc9e0f30247754a6f9273
parent93de4f5f47bd551fb2f8a2ba924b0e4cc6617f91
Missing informations filled in.
helm/mowgli/home/xml/people/aei/kelley.xml
helm/mowgli/home/xml/people/aei/wegner.xml
helm/mowgli/home/xml/people/nijmegen/barendregt.xml
helm/mowgli/home/xml/people/nijmegen/barreiro.xml
helm/mowgli/home/xml/people/nijmegen/cohen.xml
helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml
helm/mowgli/home/xml/people/nijmegen/niqui.xml
helm/mowgli/home/xml/people/nijmegen/stein.xml
helm/mowgli/home/xml/people/nijmegen/synek.xml
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
helm/mowgli/home/xml/sites/inria.xml