]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a765850) | patch
in the case of coerce_to_sort the whd was done with delta:true, that caused an incred...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 9 Sep 2007 15:16:46 +0000 (15:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 9 Sep 2007 15:16:46 +0000 (15:16 +0000)
commit0f76dec7bd31a5914c27c38fb28bf2279a7cdbc1
treefe1368070c043c1bcd548e7cfe2e035096938e70tree | snapshot
parenta7658504ad03494fbc78b3112e3355bfcb760f3fcommit | diff
in the case of coerce_to_sort the whd was done with delta:true, that caused an incredible slowdown in dama/
more debug printings added and some comments for vim folding mechanism
components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.