equal
deleted
inserted
replaced
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 |