]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0846ed2) | patch
the trie indexes terms up to 10 nested applications and skips applications with more...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Oct 2009 21:38:41 +0000 (21:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Oct 2009 21:38:41 +0000 (21:38 +0000)
commit8e0e2b06cfc3fb3116e1fce632d9897fdbac9895
tree2d315540e21e7ea6313a5a54fe11834f90c8c876tree | snapshot
parent0846ed20135a60c0230d38d07fc2e78ff7a1e9b9commit | diff
the trie indexes terms up to 10 nested applications and skips applications with more then 50 arguments
helm/software/components/ng_refiner/nDiscriminationTree.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.