aboutsummaryrefslogtreecommitdiff
path: root/devel/aifad/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Style: tab -> space.Eitan Adler2013-03-281-1/+1
* Undeprecate by updating to 1.1.0 and using the new locations.Mikhail Teterin2012-12-071-1/+1
* AIFAD stands for --Automated Induction of Functions over AlgebraicMartin Wilke2006-08-231-0/+8