Andreas Fabri 64787d9b73 use bool instead of int		2013-02-12 19:16:01 +01:00
..
Algebraic_kernel_d	use bool instead of int	2013-02-12 19:16:01 +01:00
RS	fix bug in refinement with very small precisions	2012-09-25 14:33:19 +00:00
Algebraic_kernel_d_1.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Algebraic_kernel_d_2.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Algebraic_kernel_rs_gmpq_d_1.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
Algebraic_kernel_rs_gmpz_d_1.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00