# HG changeset patch
# User kleing
# Date 1452483991 28800
# Node ID e60f1a925b4d1d75b058d5a4f972a32b49518373
# Parent  86a31308a8e18a21fccb07e3a6a4e0470f00618f
print_record NEWS and CONTRIBUTORS

diff -r 86a31308a8e1 -r e60f1a925b4d CONTRIBUTORS
--- 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.
diff -r 86a31308a8e1 -r e60f1a925b4d NEWS
--- 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