]>
2009-06-16 | Claudio Sacerdoti... | 1) unification hint now takes NG terms (as it should... | blob | commitdiff | raw |
2009-06-15 | Enrico Tassi | EXPERIMENTAL COMMIT (by CSC,actuall :-) | blob | commitdiff | raw | diff to current |
2009-06-15 | Enrico Tassi | huge commit regarding the grafite_status: | blob | commitdiff | raw | diff to current |
2009-03-10 | Enrico Tassi | unificatiom hints with premises | blob | commitdiff | raw | diff to current |
2009-03-10 | Enrico Tassi | unification hints almost ready | blob | commitdiff | raw | diff to current |
2008-12-19 | Enrico Tassi | added better debug_pps and add_user_provided_unificatio... | blob | commitdiff | raw | diff to current |
2008-12-15 | Enrico Tassi | added unification hints | blob | commitdiff | raw | diff to current |