equal
deleted
inserted
replaced
320 * Discontinued obsolete isabelle-process options -f and -u (former |
320 * Discontinued obsolete isabelle-process options -f and -u (former |
321 administrative aliases of option -e). Minor INCOMPATIBILITY. |
321 administrative aliases of option -e). Minor INCOMPATIBILITY. |
322 |
322 |
323 * Discontinued obsolete isabelle print tool, and PRINT_COMMAND |
323 * Discontinued obsolete isabelle print tool, and PRINT_COMMAND |
324 settings variable. |
324 settings variable. |
|
325 |
|
326 * Discontinued ISABELLE_DOC_FORMAT settings variable -- the preferred |
|
327 document format is always pdf. |
325 |
328 |
326 * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to |
329 * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to |
327 specify global resources of the JVM process run by isabelle build. |
330 specify global resources of the JVM process run by isabelle build. |
328 |
331 |
329 * Toplevel executable $ISABELLE_HOME/bin/isabelle_scala_script allows |
332 * Toplevel executable $ISABELLE_HOME/bin/isabelle_scala_script allows |