NEWS

--- a/NEWS	Sun Jan 25 21:46:21 2015 +0100
+++ b/NEWS	Sun Jan 25 22:11:06 2015 +0100
@@ -203,6 +203,9 @@
 
 *** Document preparation ***
 
+* Discontinued obsolete option "document_graph": session_graph.pdf is
+produced unconditionally.
+
 * Document markup commands 'chapter', 'section', 'subsection',
 'subsubsection', 'text', 'txt', 'text_raw' work uniformly in any
 context, even before the initial 'theory' command. Obsolete proof