Certificates

Author	nicolas.boulenguez@free.fr
Branch	net.prjek.mtn-host.libgmpada
Changelog	Simplified build Makefile using gprbuild. Corrected a lot of new Ada warnings.
Date	2010-01-19T03:58:51

Revision Details

Oldrevision	Old revision is: [fa5851fd..] (diff)
Delete	Delete: demo/Makefile
Rename	Rename demo/devel.gpr to demo.gpr
Patch	Patch file INSTALL (diff) Patch file Makefile (diff) Patch file README (diff) Patch file build.gpr (diff) Patch file demo/demo.adb (diff) Patch file demo.gpr (diff) Patch file generate_constants.c (diff) Patch file gmp/gmp-binding.ads (diff) Patch file gmp/gnu_multiple_precision-aux.adb (diff) Patch file gmp/gnu_multiple_precision-aux.ads (diff) Patch file gmp/gnu_multiple_precision-big_floats.ads (diff) Patch file gmp/gnu_multiple_precision-big_integers.ads (diff) Patch file gmp/gnu_multiple_precision-big_rationals.ads (diff) Patch file gmp/gnu_multiple_precision-generic_text_io.adb (diff) Patch file gmp/gnu_multiple_precision-generic_text_io.ads (diff) Patch file gmp/gnu_multiple_precision-random_numbers.ads (diff) Patch file gmp/gnu_multiple_precision.adb (diff) Patch file gmp/gnu_multiple_precision.ads (diff)