--- 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