]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da971c3) | 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)
commit6a4cf39f4ad37545b33db31f3610d960375ce2a5
tree047c1719213347317faa6f88d9089e29533f996atree | snapshot
parentda971c367f15b855e7a4af88829f1daaadc3bd3ccommit | diff
CSC & Andrea patch to speedup the process: typeof called instead of Hashtbl lookup
helm/software/components/cic_acic/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.