NEWS

--- a/NEWS	Sun Dec 10 14:50:44 2017 +0100
+++ b/NEWS	Sun Dec 10 18:31:41 2017 +0100
@@ -86,7 +86,9 @@
 * Document preparation with skip_proofs option now preserves the content
 more accurately: only terminal proof steps ('by' etc.) are skipped.
 
-* More explicit errors from latex process.
+* Command-line tool "isabelle document" has been re-implemented in
+Isabelle/Scala, with simplified arguments and explicit errors from the
+latex process. Minor INCOMPATIBILITY.
 
 
 *** HOL ***