]> matita.cs.unibo.it Git - helm.git/commit
Added statistics printings
authordenes <??>
Mon, 13 Jul 2009 10:03:23 +0000 (10:03 +0000)
committerdenes <??>
Mon, 13 Jul 2009 10:03:23 +0000 (10:03 +0000)
commitdb7f6d6b32515c091e0f338dd4903624f35f27ac
tree41dbc64319c20bc95f616dd262d6f8397dcc0a7f
parent6f2f9693db45a2ef905123bc48cde9f04ddff54f
Added statistics printings
helm/software/components/binaries/matitaprover/matitaprover.ml
helm/software/components/binaries/matitaprover/stats.ml [new symlink]
helm/software/components/binaries/matitaprover/stats.mli [new symlink]