equal
deleted
inserted
replaced
247 * Discontinued obsolete isabelle-process options -f and -u (former |
247 * Discontinued obsolete isabelle-process options -f and -u (former |
248 administrative aliases of option -e). Minor INCOMPATIBILITY. |
248 administrative aliases of option -e). Minor INCOMPATIBILITY. |
249 |
249 |
250 * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to |
250 * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to |
251 specify global resources of the JVM process run by isabelle build. |
251 specify global resources of the JVM process run by isabelle build. |
|
252 |
|
253 * Toplevel executable $ISABELLE_HOME/bin/isabelle_scala_script allows |
|
254 to run Isabelle/Scala source files as standalone programs. |
252 |
255 |
253 |
256 |
254 |
257 |
255 New in Isabelle2013 (February 2013) |
258 New in Isabelle2013 (February 2013) |
256 ----------------------------------- |
259 ----------------------------------- |