]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03be93e) | patch
Too many OPTIMIZE TABLES (because of a very stupid bug).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 23 Sep 2005 14:21:09 +0000 (14:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 23 Sep 2005 14:21:09 +0000 (14:21 +0000)
commit631b38c44ea2616b5e905ec41c2d1f4579869cd3
tree2236c875e707659d558a69c01e1f555383490d21tree | snapshot
parent03be93eb7712b24fa90fcaf7b9b79df99e1f4105commit | diff
Too many OPTIMIZE TABLES (because of a very stupid bug).
helm/matita/matitacleanLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.