]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9c684b) | patch
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
tree78fc64f7cd54dc8f397d562308440bb341666364tree | snapshot
parentc9c684b482d4eb2665028ddb84d1178dc4a5f059commit | diff
More warnings.
More bugs detected by warnings fixed.
auto => autobatch.
helm/software/matita/contribs/formal_topology/bin/formal_topology.ma diff | blob | history
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.