diff -r 3da244bc02bd -r cd8b6d849b6a NEWS
--- a/NEWS	Fri Apr 11 09:36:38 2014 +0200
+++ b/NEWS	Fri Apr 11 11:52:28 2014 +0200
@@ -658,6 +658,11 @@
 
 *** System ***
 
+* Session ROOT specifications support explicit 'document_files' for
+robust dependencies on LaTeX sources.  Only these explicitly given
+files are copied to the document output directory, before document
+processing is started.
+
 * Simplified "isabelle display" tool.  Settings variables DVI_VIEWER
 and PDF_VIEWER now refer to the actual programs, not shell
 command-lines.  Discontinued option -c: invocation may be asynchronous