author | wenzelm |
Fri, 30 Oct 1998 15:59:51 +0100 | |
changeset 5781 | d37380544c39 |
parent 5780 | 0187f936685a |
child 5782 | 7559f116cb10 |
--- 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;