NEWS
changeset 64633 5ebcf6c525f1
parent 64632 9df24b8b6c0a
child 64634 5bd30359e46e
     1.1 --- a/NEWS	Wed Dec 21 21:26:26 2016 +0100
     1.2 +++ b/NEWS	Wed Dec 21 21:26:26 2016 +0100
     1.3 @@ -19,6 +19,8 @@
     1.4  * Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Dropped abbreviation transP; use constant transp instead.
     1.8 +
     1.9  * Swapped orientation of congruence rules mod_add_left_eq,
    1.10  mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq,
    1.11  mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq,