]>
2008-11-28 | Enrico Tassi | \forall x:?. and \forall x. both generate a meta for... | tree | commitdiff |
2008-11-27 | Claudio Sacerdoti... | ... | tree | commitdiff |
2008-11-27 | Enrico Tassi | New modules stack: | tree | commitdiff |
2008-11-27 | Enrico Tassi | 1. grafiteDisambiguator => multiPassDisambiguator | tree | commitdiff |
2008-11-27 | Enrico Tassi | new kernel is compiled since the META of grafite_parser... | tree | commitdiff |
2008-11-26 | Enrico Tassi | Re-added exception, just for now (debugging). | tree | commitdiff |
2008-11-26 | Enrico Tassi | almost done | tree | commitdiff |
2008-11-26 | Enrico Tassi | disambiguation even more abstracted | tree | commitdiff |
2008-11-21 | Enrico Tassi | ... | tree | commitdiff |
2008-11-21 | Enrico Tassi | one more lazy/loc | tree | commitdiff |
2008-11-21 | Enrico Tassi | loc * lazy string -> (loc * string) lazy | tree | commitdiff |
2008-11-21 | Enrico Tassi | disambiguation now returns and takes in input the subst... | tree | commitdiff |
2008-11-12 | Enrico Tassi | disambiguation for ng terms almost there | tree | commitdiff |