]> matita.cs.unibo.it Git - helm.git/commit
Updated to V7 after V6-2 tag creation
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 12:38:12 +0000 (12:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 12:38:12 +0000 (12:38 +0000)
commit89d2370db1ef266be1dce32c0f9ca0552f6fe2f7
tree69b1ea76ae55eb6d37671a9b87ab34aa5574b835
parentfd98b68b3d650913fc08e269ed03459d06648ca8
Updated to V7 after V6-2 tag creation
helm/dtd/cic.dtd
helm/dtd/cictypes.dtd