On 06/29/13 20:16, Sam Varshavchik wrote: > Is there any interest in moving all the C++ bindings into their own > namespace, say gnu::mp?
This is definitely a good idea.
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagn...@bugseng.com
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
http://gmplib.org/mailman/listinfo/gmp-devel
