Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Update to 2.0.2. | Marcelo Araujo | 2012-12-20 | 1 | -2/+2 |
* | Undeprecate by updating to 1.1.0 and using the new locations. | Mikhail Teterin | 2012-12-07 | 1 | -2/+2 |
* | -remove MD5 | Olli Hauer | 2011-07-03 | 1 | -1/+0 |
* | - Update to 1.0.27 | Stanislav Sedov | 2006-12-09 | 1 | -3/+3 |
* | AIFAD stands for --Automated Induction of Functions over Algebraic | Martin Wilke | 2006-08-23 | 1 | -0/+3 |