--- a/NEWS Tue Jan 31 00:43:14 2006 +0100
+++ b/NEWS Tue Jan 31 00:51:15 2006 +0100
@@ -323,6 +323,9 @@
provides some facilities for code that works in either kind of
context, notably GenericDataFun for uniform theory and proof data.
+* Pure: 'advanced' translation functions (parse_translation etc.) now
+use Context.generic instead of just theory.
+
* Pure: simplified internal attribute type, which is now always
Context.generic * thm -> Context.generic * thm. Global (theory)
vs. local (Proof.context) attributes have been discontinued, while