]> matita.cs.unibo.it Git - helm.git/commit
New style debugging/profiling for NCicMetaSubst.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 10:21:00 +0000 (10:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 10:21:00 +0000 (10:21 +0000)
commitfb2fabf6c94d6a2f930b7a84673c90af32c48803
treeee007a3d6f0a9ef3906d6078ff39b01db6abbc10
parent40ebec98f53ac1a9a1e7a462cbf0dd3e3d8d42fd
New style debugging/profiling for NCicMetaSubst.
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicMetaSubst.mli
helm/software/matita/matita.ml