# HG changeset patch
# User haftmann
# Date 1223614184 -7200
# Node ID 21b3a00a3ff0192558d79935a63cd01d8cfd1377
# Parent  4e74209f113e4e1f8970432d95fce081f350102c
tuned

diff -r 4e74209f113e -r 21b3a00a3ff0 NEWS
--- a/NEWS	Fri Oct 10 06:45:53 2008 +0200
+++ b/NEWS	Fri Oct 10 06:49:44 2008 +0200
@@ -91,7 +91,7 @@
 
 *** HOL ***
 
-* Unified theorem tables of both code code generators.  Thus [code func]
+* Unified theorem tables for both code code generators.  Thus [code func]
 has disappeared and only [code] remains.  INCOMPATIBILITY.
 
 * "undefined" replaces "arbitrary" in most occurences.