NEWS
changeset 52743 a7d69a11f395
parent 52653 0589394aaaa5
child 52745 821ce370b7fc
     1.1 --- a/NEWS	Sat Jul 27 21:21:47 2013 +0200
     1.2 +++ b/NEWS	Sat Jul 27 21:43:12 2013 +0200
     1.3 @@ -323,6 +323,9 @@
     1.4  * Discontinued obsolete isabelle print tool, and PRINT_COMMAND
     1.5  settings variable.
     1.6  
     1.7 +* Discontinued ISABELLE_DOC_FORMAT settings variable -- the preferred
     1.8 +document format is always pdf.
     1.9 +
    1.10  * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to
    1.11  specify global resources of the JVM process run by isabelle build.
    1.12