# HG changeset patch
# User wenzelm
# Date 1206815097 -3600
# Node ID dd8996960cb0a7759813583efc39f23247d0e009
# Parent  6816ca8b48ef5eff7dd822c2b1cd4da99ff20d7e
fixed spelling;

diff -r 6816ca8b48ef -r dd8996960cb0 NEWS
--- a/NEWS	Sat Mar 29 19:14:16 2008 +0100
+++ b/NEWS	Sat Mar 29 19:24:57 2008 +0100
@@ -32,7 +32,7 @@
 * Eliminated destructive theorem database.  Potential INCOMPATIBILITY,
 really need to observe linear functional update of theories.
 
-* Commands 'use' and 'ML' are now purely functional, opearing on
+* Commands 'use' and 'ML' are now purely functional, operating on
 theory/local_theory.  Removed former 'ML_setup' (on theory), use 'ML'
 instead.  Added 'ML_val' as mere diagnostic replacement for 'ML'.
 INCOMPATIBILITY.