tuned current_goals_markers;

--- a/NEWS	Fri Oct 30 10:45:08 1998 +0100
+++ b/NEWS	Fri Oct 30 15:59:51 1998 +0100
@@ -5,6 +5,15 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* tuned current_goals_markers semantics: begin / end goal avoids
+printing empty lines;
+
+
+New in Isabelle98-1 (October 1998)
+----------------------------------
+
 *** Overview of INCOMPATIBILITIES (see below for more details) ***
 
 * several changes of automated proof tools;