]>
2009-09-15 | Ferruccio Guidi | some renaming. final commit for version 0.8.0 | blob | commitdiff | raw |
2009-09-10 | Ferruccio Guidi | some interfaces improved | blob | commitdiff | raw | diff to current |
2009-09-08 | Ferruccio Guidi | some renaming and some interfaces improved | blob | commitdiff | raw | diff to current |
2009-08-16 | Ferruccio Guidi | - performance data added for reference | blob | commitdiff | raw | diff to current |
2009-06-29 | Ferruccio Guidi | lambda-delta: | blob | commitdiff | raw | diff to current |
2009-06-16 | Ferruccio Guidi | we corrected some reduction bugs about renaming. | blob | commitdiff | raw | diff to current |
2008-12-14 | Ferruccio Guidi | - improved logging | blob | commitdiff | raw | diff to current |
2008-12-14 | Ferruccio Guidi | new kernel basic_ag (with absolute local references) | blob | commitdiff | raw | diff to current |