projects / helm.git / history
| 2007-07-25 | Enrico Tassi | ; and not . after auto-paramodulation | blob | commitdiff | raw |
| 2007-07-19 | Claudio Sacerdoti... | map_unicode_to_tex is no longer optional and it always... | blob | commitdiff | raw | diff to current |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
| 2007-05-09 | Ferruccio Guidi | PrimitiveTactics: intros _ now aveilable | blob | commitdiff | raw | diff to current |
| 2007-04-20 | Claudio Sacerdoti... | Much ado about nothing: | blob | commitdiff | raw | diff to current |
| 2007-04-17 | Enrico Tassi | added generation of hne and heq problems | blob | commitdiff | raw | diff to current |
| 2006-12-12 | Ferruccio Guidi | we parametrized CicNotationPt.obj on 'term | blob | commitdiff | raw | diff to current |
| 2006-07-24 | Enrico Tassi | added timeout parameter to auto paramodulation. | blob | commitdiff | raw | diff to current |
| 2006-07-22 | Enrico Tassi | matitaprover | blob | commitdiff | raw | diff to current |