equal
deleted
inserted
replaced
256 relatively to the master directory of a theory (see also |
256 relatively to the master directory of a theory (see also |
257 File.full_path). Potential INCOMPATIBILITY. |
257 File.full_path). Potential INCOMPATIBILITY. |
258 |
258 |
259 |
259 |
260 *** System *** |
260 *** System *** |
|
261 |
|
262 * Many Isabelle tools that require a Java runtime system refer to the |
|
263 settings ISABELLE_TOOL_JAVA_OPTIONS32 / ISABELLE_TOOL_JAVA_OPTIONS64, |
|
264 depending on the underlying platform. The settings for "isabelle build" |
|
265 ISABELLE_BUILD_JAVA_OPTIONS32 / ISABELLE_BUILD_JAVA_OPTIONS64 have been |
|
266 discontinued. Potential INCOMPATIBILITY. |
261 |
267 |
262 * The Isabelle system environment always ensures that the main |
268 * The Isabelle system environment always ensures that the main |
263 executables are found within the shell search $PATH: "isabelle" and |
269 executables are found within the shell search $PATH: "isabelle" and |
264 "isabelle_scala_script". |
270 "isabelle_scala_script". |
265 |
271 |