--- a/NEWS Sat Jul 27 22:16:04 2013 +0200
+++ b/NEWS Sat Jul 27 22:20:25 2013 +0200
@@ -323,8 +323,9 @@
* Discontinued obsolete isabelle print tool, and PRINT_COMMAND
settings variable.
-* Discontinued ISABELLE_DOC_FORMAT settings variable -- the preferred
-document format is always pdf.
+* Discontinued ISABELLE_DOC_FORMAT settings variable and historic
+document formats: dvi.gz, ps, ps.gz -- the default document format is
+always pdf.
* Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to
specify global resources of the JVM process run by isabelle build.