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