# HG changeset patch
# User blanchet
# Date 1428513872 -7200
# Node ID 2fcf41a626f7c296ce30299e0113834114299e38
# Parent  c01cea2ba71e008354022ac8dfe4df5170aeacb8
tuned wording

diff -r c01cea2ba71e -r 2fcf41a626f7 NEWS
--- a/NEWS	Wed Apr 08 19:19:02 2015 +0200
+++ b/NEWS	Wed Apr 08 19:24:32 2015 +0200
@@ -298,7 +298,7 @@
   - Minimization is now always enabled by default.
     Removed subcommand:
       min
-  - The proof reconstruction, both one-liners and Isar, has been
+  - Proof reconstruction, both one-liners and Isar, has been
     dramatically improved.
   - Improved support for CVC4 and veriT.