summaryrefslogtreecommitdiff
path: root/src/mpfr-mini-gmp.h
Commit message (Expand)AuthorAgeFilesLines
* Copyright notice update: added 2015 withvlefevre2015-02-131-1/+1
* [src/mpfr-mini-gmp.h] GMP_NUMB_MASK is no longer needed.vlefevre2014-06-251-4/+0
* Dropped obsolete __gmp_const (replaced by const).vlefevre2014-01-201-4/+0
* more progress with mini-gmp:zimmerma2014-01-181-1/+1
* more progress for the mini-gmp interfacezimmerma2014-01-171-1/+1
* added two new files for mini-gmp interfacezimmerma2014-01-161-0/+157