]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Mar 2006 16:39:57 +0000 (16:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Mar 2006 16:39:57 +0000 (16:39 +0000)
commit01dc671e722e9147ae5b3518b0ebcbf86908fd47
tree5c6d04a2c7e933e1038e67b09fe3c298ff1ef434
parentc6c735136c2fe236c6b7284e7b768d87c96a4537
fix
helm/software/matita/scripts/public_html/showquery.php