# 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