diff -r 802576856527 -r 09e52d4a850a NEWS --- a/NEWS Sun Jul 07 18:34:29 2013 +0200 +++ b/NEWS Sun Jul 07 18:43:14 2013 +0200 @@ -307,6 +307,9 @@ * Discontinued obsolete isabelle-process options -f and -u (former administrative aliases of option -e). Minor INCOMPATIBILITY. +* Discontinued obsolete isabelle print tool, and PRINT_COMMAND +settings variable. + * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to specify global resources of the JVM process run by isabelle build.