NEWS
changeset 57430 020cea57eaa4
parent 57423 96f970d1522b
child 57431 02c408aed5ee
     1.1 --- a/NEWS	Sat Jun 28 22:13:21 2014 +0200
     1.2 +++ b/NEWS	Sat Jun 28 22:13:23 2014 +0200
     1.3 @@ -169,6 +169,9 @@
     1.4  (only makes sense in practice, if outer syntax is delimited
     1.5  differently).
     1.6  
     1.7 +* Code generator preprocessor: explicit control of simp tracing
     1.8 +on a per-constant basis.  See attribute "code_preproc".
     1.9 +
    1.10  * Command 'print_term_bindings' supersedes 'print_binds' for clarity,
    1.11  but the latter is retained some time as Proof General legacy.
    1.12