]>
2009-10-08 | Enrico Tassi | ... | commit | commitdiff |
2009-06-29 | Enrico Tassi | removed a maybe diverging test | commit | commitdiff |
2009-06-18 | Enrico Tassi | callbacks were taking in input a status bu were not... | commit | commitdiff |
2009-06-15 | Enrico Tassi | EXPERIMENTAL COMMIT (by CSC,actuall :-) | commit | commitdiff |
2009-06-05 | denes | First tests for paramodulation (pretty printer, unifica... | commit | commitdiff |
2009-06-03 | Claudio Sacerdoti... | New test for NG notation. | commit | commitdiff |
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | commit | commitdiff |
2009-05-11 | Claudio Sacerdoti... | Some experiments in generation of elimination principles. | commit | commitdiff |
2009-03-26 | Enrico Tassi | new apply almost there | commit | commitdiff |
2008-03-19 | Claudio Sacerdoti... | ... | commit | commitdiff |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | commit | commitdiff |