aboutsummaryrefslogtreecommitdiff
path: root/devel/aifad
Commit message (Expand)AuthorAgeFilesLines
* -remove MD5Olli Hauer2011-07-031-1/+0
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-1/+1
* Switch to using new files Mk/bsd.ocaml.mk [1] and Mk/bsd.xfce.mk [2].Mark Linimon2007-03-141-1/+0
* Remove devel/pcre-utf8 and enable UTF8 support in devel/pcre byKirill Ponomarev2007-03-111-1/+2
* - Update to 1.0.27Stanislav Sedov2006-12-092-5/+5
* AIFAD stands for --Automated Induction of Functions over AlgebraicMartin Wilke2006-08-234-0/+71