--- rpl/ChangeLog 2013/03/17 22:26:43 1.162 +++ rpl/ChangeLog 2013/03/21 14:13:54 1.163 @@ -1,4 +1,6 @@ * Tue Dec 18 2012 BERTRAND Joël rpl-4.1.13 (RPL/2) +- all internal data are now stored in 64 bits wide integers (even is 32 bits +ABI is selected); - major bug is fixed in recherche_instruction_suivante(). In some circumstances, this function can return a spurious error; - new NATIVE*(*) data format is added. By default, native*(*) is used