../ CVS/ 18-Dec-2024 12:55 - FAQ.html 26-Sep-2020 07:25 18224 Makefile.am 26-Sep-2020 07:25 855 Makefile.in 26-Sep-2020 07:25 25958 README.dev 26-Sep-2020 07:25 77859 check-typography 26-Sep-2020 07:25 1496 fdl.texi 26-Sep-2020 07:25 21161 mini-gmp 26-Sep-2020 07:25 2713 mpfr.info 26-Sep-2020 07:25 271747 mpfr.texi 26-Sep-2020 07:25 216914 texinfo.tex 26-Sep-2020 07:25 376807