]> matita.cs.unibo.it Git - helm.git/commit
New data.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Mar 2002 10:35:03 +0000 (10:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Mar 2002 10:35:03 +0000 (10:35 +0000)
commitbb9a89e651ec1e954eec81915caf421272f89e27
tree633a6cdcfdc0cf6fcc4a36f575858a831de8b1c4
parente64e14a5c854e6af9e8a7179a0d1fa4d165be45b
New data.
helm/mowgli/home/xml/sites/trusted-logic.xml