NEWS
changeset 62118 e60f1a925b4d
parent 62114 a7cf464933f7
child 62157 adcaaf6c9910
equal deleted inserted replaced
62117:86a31308a8e1 62118:e60f1a925b4d
   579   - Avoid various internal name clashes (e.g., 'datatype f = f').
   579   - Avoid various internal name clashes (e.g., 'datatype f = f').
   580 
   580 
   581 * Transfer: new methods for interactive debugging of 'transfer' and
   581 * Transfer: new methods for interactive debugging of 'transfer' and
   582 'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
   582 'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
   583 'transfer_prover_start' and 'transfer_prover_end'.
   583 'transfer_prover_start' and 'transfer_prover_end'.
       
   584 
       
   585 * New diagnostic command print_record for displaying record definitions.
   584 
   586 
   585 * Division on integers is bootstrapped directly from division on
   587 * Division on integers is bootstrapped directly from division on
   586 naturals and uses generic numeral algorithm for computations. Slight
   588 naturals and uses generic numeral algorithm for computations. Slight
   587 INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes former
   589 INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes former
   588 simprocs binary_int_div and binary_int_mod
   590 simprocs binary_int_div and binary_int_mod