]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: faf0108) | patch
* Many improvements (expecially in exceptions handling)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Apr 2002 10:37:40 +0000 (10:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Apr 2002 10:37:40 +0000 (10:37 +0000)
commit9b5c1945c6d3af81f07c41da187404c2431cefa3
tree5d7b1292b989ca502a236695080a1c9a8a0a286dtree | snapshot
parentfaf01084c13ccd731d7040fadb96caa0a2aa0019commit | diff
* Many improvements (expecially in exceptions handling)
* The cases in which existential variables are now handled "correctly"
  have been increased. Neverthless, existential variables are still implemented
  in a completely wrong way.
* First commit after the commit of cic_unification.
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.