]> matita.cs.unibo.it Git - helm.git/commit
All known bugs fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 24 May 2007 13:52:29 +0000 (13:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 24 May 2007 13:52:29 +0000 (13:52 +0000)
commit246f6c5ab89ddbec94dec411ba00daf987214688
tree60d1c38e7bb4e98f71938e3c4dc2ed3230610e99
parent56ee40cf74fa4381a04325e112930a186ee13d93
All known bugs fixed.
Compilation is now in nativecode.
helm/software/matita/contribs/formal_topology/bin/Makefile
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml