]> matita.cs.unibo.it Git - helm.git/commit
better debug printings
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 8 Sep 2007 23:40:46 +0000 (23:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 8 Sep 2007 23:40:46 +0000 (23:40 +0000)
commit6ac18bcd7ace15182db46a40191e6a9dc4b8851e
tree86503098a19cd143f8871850fdadbc03225f847d
parent50371578cbaffb42e686a2c4389ba2bb52a2c503
better debug printings
helm/software/components/hmysql/hSqlite3.ml