--- a/NEWS Thu Mar 03 21:59:21 2016 +0100
+++ b/NEWS Thu Mar 03 22:16:52 2016 +0100
@@ -1002,7 +1002,11 @@
expressions (option -e) or files (option -f). Errors lead to premature
exit of the ML process with return code 1.
-* Command-line tool "isabelle console" enables print mode "ASCII".
+* Command-line tool "isabelle console -r" helps to bootstrap
+Isabelle/Pure interactively.
+
+* Command-line tool "isabelle console" enables print mode "ASCII" for
+regular logic sessions.
* Command-line tool "isabelle update_then" expands old Isar command
conflations: