# HG changeset patch # User traytel # Date 1439457256 -7200 # Node ID 61a7f9bb9e6bc5d6dda70d8322f73742e2fe4dfb # Parent 487050067be9eb7e6443fd50d26aad4380ad15a5 tuned NEWS diff -r 487050067be9 -r 61a7f9bb9e6b NEWS --- a/NEWS Wed Aug 12 20:46:33 2015 +0200 +++ b/NEWS Thu Aug 13 11:14:16 2015 +0200 @@ -188,8 +188,8 @@ * Nitpick: - Removed "check_potential" and "check_genuine" options. -* New command lift_bnf for lifting a BNF structure to a type defined - using typedef +* New commands lift_bnf and copy_bnf for lifting (copying) a BNF structure + on the raw type to an abstract type defined using typedef. * Division on integers is bootstrapped directly from division on naturals and uses generic numeral algorithm for computations.