]> matita.cs.unibo.it Git - helm.git/commit
fixed coercions undoooing
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 12 Jan 2006 15:46:34 +0000 (15:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 12 Jan 2006 15:46:34 +0000 (15:46 +0000)
commitefec9dde0ebb9ea6b8d8556b92bc0173dcab2cb7
tree36ed29c487618d3f2b8b4a60bd5e71f57dab6741
parente9b472d20cfd8ea28c6b6da2e474171b2347aa61
fixed coercions undoooing
helm/matita/matitaGui.ml
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/ocaml/grafite_engine/grafiteEngine.ml
helm/ocaml/lexicon/lexiconEngine.mli
helm/ocaml/library/librarySync.ml
helm/ocaml/tactics/paramodulation/Makefile