]> matita.cs.unibo.it Git - helm.git/commit
TermAcicContent.Interpretation_not_found catched and handled correctly.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 30 Oct 2006 18:10:25 +0000 (18:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 30 Oct 2006 18:10:25 +0000 (18:10 +0000)
commita7ffe734ba6742ff7a8cc2adcc43f17939390410
tree98f27551b72d6df51dec94cc73a681e0caf8099d
parentcb396220683593906f2331a6b471434428a6370f
TermAcicContent.Interpretation_not_found catched and handled correctly.
helm/software/components/cic_disambiguation/disambiguate.ml