| changeset 5781 | d37380544c39 |
| parent 5731 | f84dc3b811e9 |
| child 5931 | 325300576da7 |
--- 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;