Laurent Rineau 72e709b10d Fix headers of Interval_support		2012-10-08 08:46:14 +00:00
..
Test	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Bigfloat_interval_traits.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Interval_traits.h	Fix headers of Interval_support	2012-10-08 08:46:14 +00:00
convert_to_bfi.h	merge changes from next	2012-01-09 12:33:39 +00:00