]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_unification/cicRefine.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0535ec) | patch
More errors localized.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Nov 2005 15:26:50 +0000 (15:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Nov 2005 15:26:50 +0000 (15:26 +0000)
commit17895f15479977be9b0c17d156fde4973397adb3
tree0b4b4ae841e14c44f6799dd9ec1ca270fd585813tree | snapshot
parente0535eccf896c3f636b30cb193628df14f737378commit | diff
More errors localized.
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.