# HG changeset patch
# User wenzelm
# Date 909759591 -3600
# Node ID d37380544c398428a2f4ad8e4f22f017fc99ee41
# Parent  0187f936685a85537a930dd74e281e0093e745d8
tuned current_goals_markers;

diff -r 0187f936685a -r d37380544c39 NEWS
--- 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;