]>
2008-10-03 | Enrico Tassi | better test | blob | commitdiff | raw |
2008-10-03 | Enrico Tassi | not so nice patch to small_delta_step | blob | commitdiff | raw | diff to current |
2008-10-03 | Enrico Tassi | - NCicPp.ppterm applies the substitution | blob | commitdiff | raw | diff to current |
2008-10-03 | Enrico Tassi | better debuggin output | blob | commitdiff | raw | diff to current |
2008-10-02 | Enrico Tassi | error... | blob | commitdiff | raw | diff to current |
2008-10-02 | Enrico Tassi | we can test the unification algorithm! | blob | commitdiff | raw | diff to current |
2008-09-16 | Enrico Tassi | new directory for the newGeneration refiner | blob | commitdiff | raw | diff to current |