print_record NEWS and CONTRIBUTORS
authorkleing
Sun Jan 10 19:46:31 2016 -0800 (2016-01-10)
changeset 62118e60f1a925b4d
parent 62117 86a31308a8e1
child 62119 b8c973d90ae7
print_record NEWS and CONTRIBUTORS
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Sun Jan 10 19:37:21 2016 -0800
     1.2 +++ b/CONTRIBUTORS	Sun Jan 10 19:46:31 2016 -0800
     1.3 @@ -10,6 +10,9 @@
     1.4    Proof of the central limit theorem: includes weak convergence,
     1.5    characteristic functions, and Levy's uniqueness and continuity theorem.
     1.6  
     1.7 +* Winter 2015/16: Gerwin Klein, NICTA
     1.8 +  print_record command
     1.9 +
    1.10  * Winter 2015: Manuel Eberl, TUM
    1.11    The radius of convergence of power series and various summability tests.
    1.12    Harmonic numbers and the Euler-Mascheroni constant.
     2.1 --- a/NEWS	Sun Jan 10 19:37:21 2016 -0800
     2.2 +++ b/NEWS	Sun Jan 10 19:46:31 2016 -0800
     2.3 @@ -582,6 +582,8 @@
     2.4  'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
     2.5  'transfer_prover_start' and 'transfer_prover_end'.
     2.6  
     2.7 +* New diagnostic command print_record for displaying record definitions.
     2.8 +
     2.9  * Division on integers is bootstrapped directly from division on
    2.10  naturals and uses generic numeral algorithm for computations. Slight
    2.11  INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes former