From: Enrico Tassi Date: Sun, 9 Sep 2007 15:16:46 +0000 (+0000) Subject: in the case of coerce_to_sort the whd was done with delta:true, that caused an incred... X-Git-Tag: make_still_working~6032 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=99de9c457e6aaac40a64a44433d6163ad0d17263;hp=99de9c457e6aaac40a64a44433d6163ad0d17263;p=helm.git 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 ---