equal
deleted
inserted
replaced
405 JEDIT_JAVA_SYSTEM_OPTIONS |
405 JEDIT_JAVA_SYSTEM_OPTIONS |
406 JEDIT_JAVA_OPTIONS32 vs. JEDIT_JAVA_OPTIONS64 |
406 JEDIT_JAVA_OPTIONS32 vs. JEDIT_JAVA_OPTIONS64 |
407 |
407 |
408 - isabelle build: settings |
408 - isabelle build: settings |
409 ISABELLE_BUILD_JAVA_OPTIONS32 vs. ISABELLE_BUILD_JAVA_OPTIONS64 |
409 ISABELLE_BUILD_JAVA_OPTIONS32 vs. ISABELLE_BUILD_JAVA_OPTIONS64 |
|
410 |
|
411 * Bash shell function "jvmpath" has been renamed to "platform_path": it |
|
412 is relevant both for Poly/ML and JVM processes. |
410 |
413 |
411 |
414 |
412 |
415 |
413 New in Isabelle2015 (May 2015) |
416 New in Isabelle2015 (May 2015) |
414 ------------------------------ |
417 ------------------------------ |