]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23fa8cf) | patch
More effective optimization: avoid introducing already implied arcs.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 May 2008 07:25:38 +0000 (07:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 18 May 2008 07:25:38 +0000 (07:25 +0000)
commitc5699e75abae51b39365c3dfab2fde3f4b23fe6b
tree7f9f4a8a2ec0238f02c5ff20efcb581268705889tree | snapshot
parent23fa8cfe44a11df5a93d349e2520011e6722e096commit | diff
More effective optimization: avoid introducing already implied arcs.
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.