# HG changeset patch
# User wenzelm
# Date 1127948334 -7200
# Node ID 6928771d256e9b80ddb822c1d584baa76dfb10b4
# Parent  ac97a91d557228f75f60674a00580a9f0d76c730
tuned;

diff -r ac97a91d5572 -r 6928771d256e NEWS
--- a/NEWS	Wed Sep 28 18:50:42 2005 +0200
+++ b/NEWS	Thu Sep 29 00:58:54 2005 +0200
@@ -975,7 +975,7 @@
   Classical.del_context_unsafe_wrapper
 
 IMPORTANT NOTE: proof tools (methods etc.) need to use
-local_simpset_of and local_claset_of to instead of the primitive
+local_simpset_of and local_claset_of instead of the primitive
 Simplifier.get_local_simpset and Classical.get_local_claset,
 respectively, in order to see the context dependent fields!