projects / helm.git / history
| 2008-11-07 | Enrico Tassi | ordered_set simplified | blob | commitdiff | raw |
| 2008-10-28 | Enrico Tassi | even more polymorphic dualizer | blob | commitdiff | raw | diff to current |
| 2008-10-25 | Enrico Tassi | duality is a joke | blob | commitdiff | raw | diff to current |
| 2008-10-14 | Enrico Tassi | firs step for dualization | blob | commitdiff | raw | diff to current |
| 2008-07-15 | Enrico Tassi | more notation moved to core notation, unification of... | blob | commitdiff | raw | diff to current |
| 2008-06-17 | Enrico Tassi | general reorganization and first (unconditional) proof... | blob | commitdiff | raw | diff to current |
| 2008-06-13 | Enrico Tassi | more notation | blob | commitdiff | raw | diff to current |
| 2008-06-11 | Enrico Tassi | gran casino | blob | commitdiff | raw | diff to current |
| 2008-06-10 | Enrico Tassi | bla bla bla | blob | commitdiff | raw | diff to current |
| 2008-06-01 | Enrico Tassi | more work on supremum | blob | commitdiff | raw | diff to current |