NEWS
changeset 56533 cd8b6d849b6a
parent 56505 aed94b61f65b
child 56554 7bef3cd6a69c
     1.1 --- a/NEWS	Fri Apr 11 09:36:38 2014 +0200
     1.2 +++ b/NEWS	Fri Apr 11 11:52:28 2014 +0200
     1.3 @@ -658,6 +658,11 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Session ROOT specifications support explicit 'document_files' for
     1.8 +robust dependencies on LaTeX sources.  Only these explicitly given
     1.9 +files are copied to the document output directory, before document
    1.10 +processing is started.
    1.11 +
    1.12  * Simplified "isabelle display" tool.  Settings variables DVI_VIEWER
    1.13  and PDF_VIEWER now refer to the actual programs, not shell
    1.14  command-lines.  Discontinued option -c: invocation may be asynchronous