# HG changeset patch
# User blanchet
# Date 1471170369 -7200
# Node ID 6910c5ce74d3b52f914f5e56108ee643beb434f7
# Parent  4de35d16e53377e55441c7bb41f22b374a0d8be0
updated NEWS

diff -r 4de35d16e533 -r 6910c5ce74d3 NEWS
--- a/NEWS	Sun Aug 14 12:26:09 2016 +0200
+++ b/NEWS	Sun Aug 14 12:26:09 2016 +0200
@@ -299,6 +299,7 @@
 eliminated altogether.
 
 * Sledgehammer:
+  - The MaSh relevance filter has been sped up.
   - Produce syntactically correct Vampire 4.0 problem files.
 
 * (Co)datatype package: