# HG changeset patch
# User wenzelm
# Date 1136918219 -3600
# Node ID b59766bc66c9a68bd400580bc99624e61c760875
# Parent  89a7978f90e1c38db80db6bf85eb450d282e7239
tuned;

diff -r 89a7978f90e1 -r b59766bc66c9 NEWS
--- a/NEWS	Tue Jan 10 19:34:04 2006 +0100
+++ b/NEWS	Tue Jan 10 19:36:59 2006 +0100
@@ -298,7 +298,7 @@
 * Pure/General: rat.ML implements rational numbers.
 
 * Pure: datatype Context.generic joins theory/Proof.context and
-provides some facilities for generic code that works in either kind of
+provides some facilities for code that works in either kind of
 context, notably GenericDataFun for uniform theory and proof data.
 
 * Pure: type Context.generic attribute is now the preferred