--- rpl/ChangeLog 2015/11/04 13:06:22 1.236 +++ rpl/ChangeLog 2015/11/10 11:12:26 1.237 @@ -1,4 +1,5 @@ * Wed Sep 16 2015 BERTRAND Joël rpl-4.1.23 (RPL/2) +- Giac is upgraded to 1.2.2 and mpfi is added; - GSL is upgraded to 2.0; - major bug is fixed in interruption (mutexes failure); - minor bug is fixed in evaluation():