]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf822e3) | patch
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)
commit5f77e1e13cefdec315aca23aa7f68f322d7571e6
tree136e0a45681a34d1d1752610e34cb5504b724f7atree | snapshot
parentcf822e32d7461fd84838a1e3d100d647a026a541commit | diff
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).
matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.