equal
deleted
inserted
replaced
588 ISABELLE_PLATFORM setting variable, which defaults to the 32 bit |
588 ISABELLE_PLATFORM setting variable, which defaults to the 32 bit |
589 variant, even on a 64 bit machine. The following example setting |
589 variant, even on a 64 bit machine. The following example setting |
590 prefers 64 bit if available: |
590 prefers 64 bit if available: |
591 |
591 |
592 ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}" |
592 ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}" |
|
593 |
|
594 * The preliminary Isabelle/jEdit application demonstrates the emerging |
|
595 Isabelle/Scala layer for advanced prover interaction and integration. |
|
596 See src/Tools/jEdit or "isabelle jedit" provided by the properly built |
|
597 component. |
593 |
598 |
594 |
599 |
595 |
600 |
596 New in Isabelle2009-1 (December 2009) |
601 New in Isabelle2009-1 (December 2009) |
597 ------------------------------------- |
602 ------------------------------------- |