| changeset 52550 | 09e52d4a850a |
| parent 52549 | 802576856527 |
| child 52637 | 1501ebe39711 |
| child 52646 | 80590a089984 |
--- 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.