--- a/NEWS Wed Nov 25 15:55:00 1998 +0100
+++ b/NEWS Wed Nov 25 20:55:25 1998 +0100
@@ -9,11 +9,17 @@
* HOL: Removed the obsolete syntax "Compl A"; use -A for set complement
-*** General ***
+
+*** Internal programming interfaces ***
* tuned current_goals_markers semantics: begin / end goal avoids
printing empty lines;
+* removed prs and prs_fn hook, which was broken because it did not
+include \n in its semantics, forcing writeln to add one
+uncoditionally; replaced prs_fn by writeln_fn; consider std_output:
+string -> unit if you really want to output text without newline;
+
New in Isabelle98-1 (October 1998)
----------------------------------