Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Style: tab -> space. | Eitan Adler | 2013-03-28 | 1 | -1/+1 |
* | Undeprecate by updating to 1.1.0 and using the new locations. | Mikhail Teterin | 2012-12-07 | 1 | -1/+1 |
* | AIFAD stands for --Automated Induction of Functions over Algebraic | Martin Wilke | 2006-08-23 | 1 | -0/+8 |