--- a/NEWS Sat Sep 26 11:43:25 2020 +0200
+++ b/NEWS Sat Sep 26 14:29:46 2020 +0200
@@ -38,6 +38,9 @@
* Antiquotations @{scala}, @{scala_object}, @{scala_type},
@{scala_method} refer to checked Isabelle/Scala entities.
+* Discontinued obsolete DVI format and ISABELLE_LATEX settings variable:
+document output is always PDF.
+
*** Pure ***
@@ -158,6 +161,9 @@
*** System ***
+* Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
+variable.
+
* The shell function "isabelle_directory" (within etc/settings of
components) augments the list of special directories for persistent
symbolic path names. This improves portability of heap images and