]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69c5a60) | patch
Disambiguation errors now carry more information (i.e. the patches to apply to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Oct 2006 12:11:48 +0000 (12:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Oct 2006 12:11:48 +0000 (12:11 +0000)
commitd4232ba846e48a959637d94445f169deca5464b4
tree2d096c6d460dbd45722952a6e44159c08f23c3e9tree | snapshot
parent69c5a60dfa385a3d0e270ed38eb0d970366792c5commit | diff
Disambiguation errors now carry more information (i.e. the patches to apply to
the current interpretation to re-obtain the refinement errors).
helm/software/components/cic_disambiguation/disambiguate.ml diff | blob | history
helm/software/components/cic_disambiguation/disambiguate.mli diff | blob | history
helm/software/components/grafite_parser/grafiteDisambiguate.ml diff | blob | history
helm/software/components/grafite_parser/grafiteDisambiguator.ml diff | blob | history
helm/software/components/grafite_parser/grafiteDisambiguator.mli diff | blob | history
helm/software/matita/matitaExcPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.