1.1 --- a/NEWS	Fri Oct 30 10:45:08 1998 +0100
     1.2 +++ b/NEWS	Fri Oct 30 15:59:51 1998 +0100
     1.3 @@ -5,6 +5,15 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** General ***
     1.8 +
     1.9 +* tuned current_goals_markers semantics: begin / end goal avoids
    1.10 +printing empty lines;
    1.11 +
    1.12 +
    1.13 +New in Isabelle98-1 (October 1998)
    1.14 +----------------------------------
    1.15 +
    1.16  *** Overview of INCOMPATIBILITIES (see below for more details) ***
    1.17  
    1.18  * several changes of automated proof tools;