projects / helm.git / history
| 2010-03-24 | Claudio Sacerdoti... | ... | tree | commitdiff |
| 2009-12-09 | Andrea Asperti | Commented a couple of calls to "set_reference_of_oxuri". | tree | commitdiff |
| 2009-12-09 | Andrea Asperti | Added the paramodulation stuff to the status | tree | commitdiff |
| 2009-11-16 | Wilmer Ricciotti | Implementation of ndestruct tactic (including destructi... | tree | commitdiff |
| 2009-10-14 | Enrico Tassi | CProp uri fixed | tree | commitdiff |
| 2009-10-07 | Claudio Sacerdoti... | - oCic2NCic and nCic2OCic moved to ng_library | tree | commitdiff |
| 2009-10-06 | Wilmer Ricciotti | Inverters/Inversion: | tree | commitdiff |
| 2009-10-05 | Enrico Tassi | added auto_cache in the dupable status after an | tree | commitdiff |
| 2009-10-05 | Enrico Tassi | new ng_library module | tree | commitdiff |