]> matita.cs.unibo.it Git - helm.git/commit
Relative URL now used again
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Feb 2001 17:44:43 +0000 (17:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Feb 2001 17:44:43 +0000 (17:44 +0000)
commit46c7657b44f935ea907ee23457f2c005895629bc
treeb3ec3e11c763b11323cc7530994c5dd55e73e6c6
parenta67544c0aa4c12b6b900345d16d43d0ee20eccf1
Relative URL now used again
helm/dtd/cictypes.dtd