]> matita.cs.unibo.it Git - helm.git/commit
evvai!
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Jul 2006 07:50:54 +0000 (07:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Jul 2006 07:50:54 +0000 (07:50 +0000)
commitb9ee81d329f267b12d05c05cbd3509b27d3d55a0
tree777b6abdfbd7fee23ca7e3282e938e5d50f3fd26
parent96aa0e9ac8fe4a4a23748c0ef70bab362f457e0b
evvai!
helm/software/matita/tests/TPTP/compare.ods
helm/software/matita/tests/TPTP/log.600.15-7.comedasvn_stampapesomassimoeqinprovanellog [deleted file]
helm/software/matita/tests/TPTP/log.600.15-7.comedasvn_stampapesomassimoeqinprovanellog.txt [new file with mode: 0644]