]> matita.cs.unibo.it Git - helm.git/commit
CoRN integrated in the night benchmarks.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Oct 2006 09:44:03 +0000 (09:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Oct 2006 09:44:03 +0000 (09:44 +0000)
commite1d918026477892040e0eeb532c017153a6e1880
tree1e76be04a21c3a2f53240ee59200ee22a457be3e
parent3a5e423de380a64589a91afdf99495b2b7db788c
CoRN integrated in the night benchmarks.
helm/software/matita/Makefile
helm/software/matita/contribs/CoRN/makefile [new file with mode: 0644]