--- 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: