# HG changeset patch
# User wenzelm
# Date 1138665075 -3600
# Node ID bd83590be0f7b428d0fbaa82d8f2e124ce42573a
# Parent  38269ef5175a7284e1657fa5422ecff2e55a75ad
* Pure: 'advanced' translation functions use Context.generic instead of just theory;

diff -r 38269ef5175a -r bd83590be0f7 NEWS
--- 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