]> 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)
commit4c870bba9cc89b09b4ef933bcc1667e31df09435
tree4dad565a514c2afd6e07d915a1851f0f7e458522
parentf86133c436f18963db383d8918eceefc7adf10ff
cic/test.ml moved to binaries/utilities
components/binaries/utilities/test_xml_parser.ml [new file with mode: 0644]
components/cic/test.ml [deleted file]