]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c18e280) | patch
Performance improvement by preserving more sharing. Visible in Oliboni's
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Oct 2009 18:18:00 +0000 (18:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Oct 2009 18:18:00 +0000 (18:18 +0000)
commit21478bf4534374bb3c2c131acb096c7d3ffc2058
tree28bbf5b4ea1b31392aad565c896fab01a2408d0atree | snapshot
parentc18e280d198b15aaa0598b1520ba1c457a56983ecommit | diff
Performance improvement by preserving more sharing. Visible in Oliboni's
development. But still slower then old matita (but pheraps on different data...)
helm/software/components/ng_kernel/nCicReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.