]> matita.cs.unibo.it Git - helm.git/commit
Patch to avoid double execution of whelp queries reverted (since it seems
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 15 Apr 2006 16:57:24 +0000 (16:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 15 Apr 2006 16:57:24 +0000 (16:57 +0000)
commit641c040c545910279d60b32a1ce482e8e8246470
treeef9985e27477244fd7b2489f204cc33081ab1e2a
parentcc9befb6910e2dacd350f75bffc76dea937ccb5d
Patch to avoid double execution of whelp queries reverted (since it seems
that queries are NOT executed twice without the patch (!?!) and with the
patch the query is sometimes not executed).
helm/software/matita/matitaMathView.ml