]>
2009-08-13 | Claudio Sacerdoti... | fix_sorts (cfr. previous commit) used to break too... | blob | commitdiff | raw |
2009-07-20 | Claudio Sacerdoti... | Very serious bug fixed in unification, but the fix... | blob | commitdiff | raw | diff to current |
2009-06-17 | Claudio Sacerdoti... | Initial implementation of statuses using objects in... | blob | commitdiff | raw | diff to current |
2009-06-15 | Enrico Tassi | huge commit regarding the grafite_status: | blob | commitdiff | raw | diff to current |
2009-04-29 | Claudio Sacerdoti... | Refinement of inductive type implemented. | blob | commitdiff | raw | diff to current |
2008-12-15 | Wilmer Ricciotti | First attempt to implement unification hints. | blob | commitdiff | raw | diff to current |
2008-09-24 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-09-16 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |