]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbadb34) | patch
speedup in fixing the graph closures
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Apr 2008 10:18:56 +0000 (10:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Apr 2008 10:18:56 +0000 (10:18 +0000)
commit18758ebe381286b4aff2232e837a0256c00b400b
treeb4bd42d0d5ea0d9a09acf7bc1f8fef5968e33322tree | snapshot
parentfbadb3454a52d879edc58a4a09ca46c1e77dce2fcommit | diff
speedup in fixing the graph closures
helm/software/components/cic/cicUniv.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.