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