projects / helm.git / history
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | tree | commitdiff |
| 2007-05-09 | Ferruccio Guidi | PrimitiveTactics: intros _ now aveilable | tree | commitdiff |
| 2007-04-20 | Claudio Sacerdoti... | Much ado about nothing: | tree | commitdiff |
| 2007-04-17 | Enrico Tassi | added generation of hne and heq problems | tree | commitdiff |
| 2006-12-29 | Ferruccio Guidi | now we try two distinct depend files for compilation... | tree | commitdiff |
| 2006-12-28 | Claudio Sacerdoti... | .depends committed to fix non-compilation errors | tree | commitdiff |
| 2006-12-24 | Ferruccio Guidi | some depend files | tree | commitdiff |
| 2006-12-12 | Ferruccio Guidi | we parametrized CicNotationPt.obj on 'term | tree | commitdiff |
| 2006-07-24 | Enrico Tassi | added timeout parameter to auto paramodulation. | tree | commitdiff |
| 2006-07-22 | Enrico Tassi | matitaprover | tree | commitdiff |