# HG changeset patch
# User wenzelm
# Date 857565641 -3600
# Node ID b31da96769b66392678b9dae14a84832b98026ef
# Parent  865995b744f5f772668e37d21e029ac3ed2cfef3
*** empty log message ***

diff -r 865995b744f5 -r b31da96769b6 NEWS
--- a/NEWS	Wed Mar 05 13:37:16 1997 +0100
+++ b/NEWS	Wed Mar 05 13:40:41 1997 +0100
@@ -3,7 +3,7 @@
 ================================================
 
 New in Isabelle94-8 (April 1997)
-------------------------------------------------
+--------------------------------
 
 * added token_translation interface (may translate name tokens in
 arbitrary ways, dependent on their type (free, bound, tfree, ...));