# HG changeset patch
# User wenzelm
# Date 857145522 -3600
# Node ID d6e83a02061d25c6af16f84c170c2ec4415afa96
# Parent  afa01c9f1ab04430f94ae4a2d0bc4e7861547076
*** empty log message ***

diff -r afa01c9f1ab0 -r d6e83a02061d NEWS
--- a/NEWS	Fri Feb 28 16:56:31 1997 +0100
+++ b/NEWS	Fri Feb 28 16:58:42 1997 +0100
@@ -5,6 +5,9 @@
 New in Isabelle94-8 (really-soon-now 1997 FIXME)
 ------------------------------------------------
 
+* added token_translation interface (may translate name tokens in
+arbitrary ways, dependent on their type (free, bound, tfree, ...));
+
 * HOLCF changes: derived all rules and arities 
   + axiomatic type classes instead of classes 
   + typedef instead of faking type definitions