equal
deleted
inserted
replaced
336 proof terms are enabled unconditionally in the new HOL-Proofs image. |
336 proof terms are enabled unconditionally in the new HOL-Proofs image. |
337 |
337 |
338 * Discontinued old ISABELLE and ISATOOL environment settings (legacy |
338 * Discontinued old ISABELLE and ISATOOL environment settings (legacy |
339 feature since Isabelle2009). Use ISABELLE_PROCESS and ISABELLE_TOOL, |
339 feature since Isabelle2009). Use ISABELLE_PROCESS and ISABELLE_TOOL, |
340 respectively. |
340 respectively. |
|
341 |
|
342 * Old lib/scripts/polyml-platform is superseded by the |
|
343 ISABELLE_PLATFORM setting variable, which defaults to the 32 bit |
|
344 variant, even on a 64 bit machine. The following example setting |
|
345 prefers 64 bit if available: |
|
346 |
|
347 ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}" |
341 |
348 |
342 |
349 |
343 |
350 |
344 New in Isabelle2009-1 (December 2009) |
351 New in Isabelle2009-1 (December 2009) |
345 ------------------------------------- |
352 ------------------------------------- |