| changeset 52743 | a7d69a11f395 |
| parent 52653 | 0589394aaaa5 |
| child 52745 | 821ce370b7fc |
--- a/NEWS Sat Jul 27 21:21:47 2013 +0200 +++ b/NEWS Sat Jul 27 21:43:12 2013 +0200 @@ -323,6 +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. + * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to specify global resources of the JVM process run by isabelle build.