]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Mar 2006 13:04:42 +0000 (13:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Mar 2006 13:04:42 +0000 (13:04 +0000)
commitefa5deb1fc321a117344464ad73f59254d832fb9
tree86523053b0a12c5550e34e080bda4fb908367658
parentf6355c5b9b4ee052b6f2e05506c013433629a1b2
fix
matita/scripts/public_html/bench.php
matita/scripts/public_html/common.php
matita/scripts/public_html/composequery.php
matita/scripts/public_html/showquery.php