]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1001308) | patch
termAcicContent is logic independent (despite its name) thus it
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 14:56:01 +0000 (14:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 14:56:01 +0000 (14:56 +0000)
commitfbe17b2934c978e14ce1eb1247f35a6c177571f1
treefff548e0d16ef1d4b1ff2deb19c8ef3233672702tree | snapshot
parent1001308d4ecc7dffa20f5f0fe479c77f8cad9b8ecommit | diff
termAcicContent is logic independent (despite its name) thus it
needs also term_of_nref
helm/software/components/acic_content/termAcicContent.ml diff | blob | history
helm/software/components/cic_disambiguation/disambiguateChoices.ml diff | blob | history
helm/software/components/grafite_parser/grafiteDisambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.