# HG changeset patch # User haftmann # Date 1425109800 -3600 # Node ID 7ee382059c94f27cd3a6101f2801e8c33ad9ed3d # Parent 0eece945fa54ac1890c305363282243b6df72619 spelling diff -r 0eece945fa54 -r 7ee382059c94 NEWS --- a/NEWS Fri Feb 27 15:41:28 2015 +0100 +++ b/NEWS Sat Feb 28 08:50:00 2015 +0100 @@ -23,7 +23,7 @@ INCOMPATIBILITY, make sure that required theories are really imported. * 'find_theorems': search patterns which are abstractions are -schematcially expanded before search. Search results match the naive +schematically expanded before search. Search results match the naive expectation more closely, particularly wrt. abbreviations. INCOMPATIBILITY.