NEWS
changeset 62118 e60f1a925b4d
parent 62114 a7cf464933f7
child 62157 adcaaf6c9910
     1.1 --- a/NEWS	Sun Jan 10 19:37:21 2016 -0800
     1.2 +++ b/NEWS	Sun Jan 10 19:46:31 2016 -0800
     1.3 @@ -582,6 +582,8 @@
     1.4  'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
     1.5  'transfer_prover_start' and 'transfer_prover_end'.
     1.6  
     1.7 +* New diagnostic command print_record for displaying record definitions.
     1.8 +
     1.9  * Division on integers is bootstrapped directly from division on
    1.10  naturals and uses generic numeral algorithm for computations. Slight
    1.11  INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes former