--- a/CONTRIBUTORS Sun Jan 10 19:37:21 2016 -0800
+++ b/CONTRIBUTORS Sun Jan 10 19:46:31 2016 -0800
@@ -10,6 +10,9 @@
Proof of the central limit theorem: includes weak convergence,
characteristic functions, and Levy's uniqueness and continuity theorem.
+* Winter 2015/16: Gerwin Klein, NICTA
+ print_record command
+
* Winter 2015: Manuel Eberl, TUM
The radius of convergence of power series and various summability tests.
Harmonic numbers and the Euler-Mascheroni constant.
--- a/NEWS Sun Jan 10 19:37:21 2016 -0800
+++ b/NEWS Sun Jan 10 19:46:31 2016 -0800
@@ -582,6 +582,8 @@
'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
'transfer_prover_start' and 'transfer_prover_end'.
+* New diagnostic command print_record for displaying record definitions.
+
* Division on integers is bootstrapped directly from division on
naturals and uses generic numeral algorithm for computations. Slight
INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes former