# HG changeset patch
# User wenzelm
# Date 1605977880 -3600
# Node ID 418dfce5533f6ef00bec21de13bae7436a4658c1
# Parent  86fac52c2795c098e7d2122815d65cec628e8e6b
NEWS;

diff -r 86fac52c2795 -r 418dfce5533f NEWS
--- a/NEWS	Sat Nov 21 17:57:54 2020 +0100
+++ b/NEWS	Sat Nov 21 17:58:00 2020 +0100
@@ -243,9 +243,9 @@
 properly (on Linux and macOS).
 
 * The command-line tool "isabelle document" generates theory documents
-from the underlying session build database (using its exported {\LaTeX}
-sources). INCOMPATIBILITY, the former "isabelle document" tool was
-rather different and has been discontinued.
+from the underlying session build database (using its exported \LaTeX
+sources or existing PDF files). INCOMPATIBILITY, the former "isabelle
+document" tool was rather different and has been discontinued.
 
 * The command-line tool "isabelle sessions" explores the structure of
 Isabelle sessions and prints result names in topological order (on