]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e75e24) | patch
bug fixed, all convertible was called without a metasenv
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 24 Dec 2008 15:31:20 +0000 (15:31 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 24 Dec 2008 15:31:20 +0000 (15:31 +0000)
commit9dee1479d1d4ee35e9768612b35741e2ecde8fc0
treef63fa8c264f62b96f33701c33f00e8a3ebff9c6ftree | snapshot
parent6e75e2415b0433a134e0050d63d627a66efea7a4commit | diff
bug fixed, all convertible was called without a metasenv
helm/software/components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.