NEWS
changeset 47160 8ada79014cb2
parent 47159 978c00c20a59
child 47162 9d7d919b9fd8
     1.1 --- a/NEWS	Tue Mar 27 15:27:49 2012 +0200
     1.2 +++ b/NEWS	Tue Mar 27 15:34:04 2012 +0200
     1.3 @@ -149,6 +149,8 @@
     1.4    zmod_zminus_zminus ~> mod_minus_minus
     1.5    zdiv_zminus2 ~> div_minus_right
     1.6    zmod_zminus2 ~> mod_minus_right
     1.7 +  zdiv_minus1_right ~> div_minus1_right
     1.8 +  zmod_minus1_right ~> mod_minus1_right
     1.9    mod_mult_distrib ~> mult_mod_left
    1.10    mod_mult_distrib2 ~> mult_mod_right
    1.11