../ CVS/ 31-May-2024 20:03 - FAQ.html 28-Nov-2013 12:30 18239 Makefile.am 28-Nov-2013 12:30 597 Makefile.in 28-Nov-2013 12:30 22824 fdl.texi 28-Nov-2013 12:30 21160 mpfr.info 28-Nov-2013 12:30 213817 mpfr.texi 28-Nov-2013 12:30 167500 texinfo.tex 28-Nov-2013 12:30 320197