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