]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be69d56) | patch
CSC & Andrea patch to speedup the process: typeof called instead of Hashtbl lookup
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:25:34 +0000 (08:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:25:34 +0000 (08:25 +0000)
commit883c1c82973b96587eeee6461b0bc838f8572e22
tree8b1e91659dcd81bd0d2c601af1106ce7d774182atree | snapshot
parentbe69d5604639ffb64ca56fcbf0a9d4afa97c6c41commit | diff
CSC & Andrea patch to speedup the process: typeof called instead of Hashtbl lookup
components/cic_acic/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.