# 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.