]> matita.cs.unibo.it Git - helm.git/commit
More warnings.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 May 2007 09:31:46 +0000 (09:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 May 2007 09:31:46 +0000 (09:31 +0000)
commit513a2c58442fcfb2545bbc2b146d5a73051d6740
tree78fc64f7cd54dc8f397d562308440bb341666364
parentc9c684b482d4eb2665028ddb84d1178dc4a5f059
More warnings.
More bugs detected by warnings fixed.
auto => autobatch.
helm/software/matita/contribs/formal_topology/bin/formal_topology.ma
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml