# HG changeset patch
# User wenzelm
# Date 934818157 -7200
# Node ID 7ee4eecdc8a663aa13d70cfc9b7d580f3e5c7627
# Parent  1379275df5cd3de7e29011c9b770e62610623c5e
tuned;

diff -r 1379275df5cd -r 7ee4eecdc8a6 NEWS
--- a/NEWS	Mon Aug 16 17:38:52 1999 +0200
+++ b/NEWS	Mon Aug 16 17:42:37 1999 +0200
@@ -171,7 +171,6 @@
 course, ML tools referring to List.list.op # etc. have to be adapted;
 
 
-
 *** LK ***
 
 * the notation <<...>> is now available as a notation for sequences of