]> matita.cs.unibo.it Git - helm.git/commit
cic/test.ml moved to binaries/utilities
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Aug 2006 13:46:22 +0000 (13:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Aug 2006 13:46:22 +0000 (13:46 +0000)
commit5c38b852feca23c3669b6c1cd836d6f8b8bc930a
treeeb78f35a82e09154c097ca2c9a42d725b8ad0ed1
parent752b790d95e1e944d2077cf9802d61820e972624
cic/test.ml moved to binaries/utilities
helm/software/components/binaries/utilities/test_xml_parser.ml [new file with mode: 0644]
helm/software/components/cic/test.ml [deleted file]