]>
2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | commit | commitdiff |
2005-12-19 | Andrea Asperti | moved term indexing (in both discrimination and path... | commit | commitdiff |
2005-12-19 | Andrea Asperti | Discrimination and trie removed. | commit | commitdiff |
2005-10-27 | Claudio Sacerdoti... | ... | commit | commitdiff |
2005-10-11 | Alberto Griggio | fixed bugs in Indexing.find_matches and Saturation... | commit | commitdiff |
2005-10-05 | Stefano Zacchiroli | rebuilt | commit | commitdiff |
2005-07-22 | Alberto Griggio | - better exception handling | commit | commitdiff |
2005-07-21 | Alberto Griggio | dependencies | commit | commitdiff |