Certificates

Author	nicolas.boulenguez@free.fr
Branch	net.prjek.mtn-host.libgmpada
Changelog	Updated copyrights. Made build process more readable (renamed many files).
Date	2010-01-20T18:13:25

Revision Details

Oldrevision	Old revision is: [9d20abe6..] (diff)
Rename	Rename build.gpr to Makefile_build.gpr Rename demo.gpr to Makefile_test.gpr Rename gmp to src Rename gmpada.gpr.template to template_for_installed_project
Patch	Patch file INSTALL (diff) Patch file Makefile (diff) Patch file Makefile_build.gpr (diff) Patch file Makefile_test.gpr (diff) Patch file demo/demo.adb (diff) Patch file demo/demo.gpr (diff) Patch file generate_constants.c (diff) Patch file src/gmp-binding.adb (diff) Patch file src/gmp-binding.ads (diff) Patch file src/gmp.ads (diff) Patch file src/gmp_macros.c (diff) Patch file src/gnu_multiple_precision-aux.adb (diff) Patch file src/gnu_multiple_precision-aux.ads (diff) Patch file src/gnu_multiple_precision-big_floats.adb (diff) Patch file src/gnu_multiple_precision-big_floats.ads (diff) Patch file src/gnu_multiple_precision-big_integers.adb (diff) Patch file src/gnu_multiple_precision-big_integers.ads (diff) Patch file src/gnu_multiple_precision-big_rationals.adb (diff) Patch file src/gnu_multiple_precision-big_rationals.ads (diff) Patch file src/gnu_multiple_precision-generic_text_io.adb (diff) Patch file src/gnu_multiple_precision-generic_text_io.ads (diff) Patch file src/gnu_multiple_precision-random_numbers.adb (diff) Patch file src/gnu_multiple_precision-random_numbers.ads (diff) Patch file src/gnu_multiple_precision-text_io.ads (diff) Patch file src/gnu_multiple_precision-wide_text_io.ads (diff) Patch file src/gnu_multiple_precision-wide_wide_text_io.ads (diff) Patch file src/gnu_multiple_precision.adb (diff) Patch file src/gnu_multiple_precision.ads (diff) Patch file template_for_installed_project (diff)