]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcab6f6) | patch
Big changes:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Feb 2004 10:35:52 +0000 (10:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Feb 2004 10:35:52 +0000 (10:35 +0000)
commitbf60fc57745fba8a2a22215ed1286eceae0f7700
tree1950e36210159509d2dc16df1b6847b5e22d9aectree | snapshot
parentbcab6f64ea13c1d4124c7ff53412033df1803918commit | diff
Big changes:
  1. every level now catches the *Failure excecptions of the lower level
     and converts it to its own *Failure. The same for *Uncertain.
  2. CicMetaSubst.delift now raises also Uncertain (that is converted
     to CicUnification.Uncertain and then to CicRefine.Uncertain).
helm/ocaml/cic_unification/cicMetaSubst.ml diff | blob | history
helm/ocaml/cic_unification/cicMetaSubst.mli diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
helm/ocaml/cic_unification/cicUnification.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.