]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_disambiguation/disambiguate.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c07a8ba) | patch
DisambiguationError exceptions (that have locations inside) are now relocated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Nov 2005 12:58:02 +0000 (12:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Nov 2005 12:58:02 +0000 (12:58 +0000)
commit8653d506aacaf019deb3438bd4681ad1000061bd
tree1e22cc8862fd3dfcaa8b86b0ed91daae5219b913tree | snapshot
parentc07a8ba5564610278faed3c86d9a21a9ee0c644ecommit | diff
DisambiguationError exceptions (that have locations inside) are now relocated
correctly after a (** comment *).
helm/matita/matitaDisambiguator.ml diff | blob | history
helm/matita/matitaDisambiguator.mli diff | blob | history
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitaExcPp.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguate.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguate.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.