]> 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: 17895f1) | patch
* More error messages localized.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Nov 2005 15:48:40 +0000 (15:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Nov 2005 15:48:40 +0000 (15:48 +0000)
commit34fad691712f60b4cd11510b9f73c09d25eaf125
tree492d2e64643c6d5f6d622310f0385b9f96554f9atree | snapshot
parent17895f15479977be9b0c17d156fde4973397adb3commit | diff
* More error messages localized.
* Bug fixed: a few Uncertain became RefineFailure in my last commit(s).
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.