]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc0eae6) | patch
removed debug code
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Dec 2008 13:57:22 +0000 (13:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Dec 2008 13:57:22 +0000 (13:57 +0000)
commit33d0fc706f337453ceb6967dd4fcdc5fe55e65de
tree8fbc34c026ad886528fd3adb2b6811dfea37ab1ctree | snapshot
parentdc0eae6607f2b299deeeb1a2c4e145e7a6d40629commit | diff
removed debug code
helm/software/components/ng_refiner/nCicUnifHint.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.