../ CVS/ 01-Aug-2025 01:24 - FAQ.html 06-Mar-2023 05:08 18K Makefile.am 06-Mar-2023 05:08 1012 Makefile.in 06-Mar-2023 05:08 26K README.dev 01-Jul-2024 09:24 83K check-typography 06-Mar-2023 05:08 1503 fdl.texi 26-Sep-2020 14:25 21K mini-gmp 06-Mar-2023 05:08 2743 mpfr.info 01-Jul-2024 09:24 278K mpfr.texi 01-Jul-2024 09:24 228K texinfo.tex 06-Mar-2023 05:08 369K