Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Update to 2.0.6 | miwi | 2015-12-22 | 1 | -5/+5 |
* | Remove Authors and License from pkg-descr | bapt | 2015-03-03 | 1 | -1/+0 |
* | Style: tab -> space. | eadler | 2013-03-29 | 1 | -1/+1 |
* | Undeprecate by updating to 1.1.0 and using the new locations. | mi | 2012-12-07 | 1 | -1/+1 |
* | AIFAD stands for --Automated Induction of Functions over Algebraic | miwi | 2006-08-23 | 1 | -0/+8 |