* Pure: 'advanced' translation functions use Context.generic instead of just theory;

--- 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