projects / helm.git / history
| 2011-01-11 | Enrico Tassi | coercion lookup now returns coercions ranked using... | tree | commitdiff |
| 2011-01-07 | Enrico Tassi | ... | tree | commitdiff |
| 2011-01-07 | Enrico Tassi | added retrieval function with weight | tree | commitdiff |
| 2010-11-05 | Andrea Asperti | - lexicon merged into ng_disambiguation | tree | commitdiff |
| 2010-11-02 | Enrico Tassi | big change in parsing, trying to make all functional | tree | commitdiff |
| 2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |