]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ddb5e7c) | patch
theory_explorer now communicates directly with matitawiki.opt.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 May 2007 18:05:53 +0000 (18:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 May 2007 18:05:53 +0000 (18:05 +0000)
commiteb99ca04da4eaf0c5835555eabc9b53d7736e51d
tree8b2eabad1966640ee05672adccebfe1d7e162f9dtree | snapshot
parentddb5e7c8313d80b2bc1b452f14d531d143d102c6commit | diff
theory_explorer now communicates directly with matitawiki.opt.
Overall time to reach the fixpoint for m=1 changed from 91m to 11m!!!
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.