*** System ***
* Update to Poly/ML 5.8 allows to use the native x86_64 platform without
the full overhead of 64-bit values everywhere. This special x86_64_32
mode provides up to 16GB ML heap, while program code and stacks are
allocated elsewhere. Thus approx. 5 times more memory is available for
*** System ***
* Update to current Poly/ML 5.7.1 with slightly improved performance and
PIDE markup for identifier bindings.
This refers to Isabelle/3345d53e7c58.
After heroic efforts by David Matthews over some months, we are back on
a live branch of Poly/ML -- one that performs slightly
*** Prover IDE -- Isabelle/Scala/jEdit ***
* Update to jedit-5.4.0.
This refers to Isabelle/4f3da52cec02.
There is not much to say: just a routine update with various small
changes that have been accumulated in the past 12 months.
See also https://sourceforge.net/projects/jedit/files/jedit
On Tue, 2 Dec 2008, Tjark Weber wrote:
On Sun, 2008-11-30 at 14:08 +0100, Makarius wrote:
The old isabelle-interface wrapper could react in confusing ways if
the interface was uninstalled or changed otherwise. Individual
interface tool configuration is now more explicit, see also the
* Multithreading for Poly/ML 5.1/5.2 is no longer supported, only for
Poly/ML 5.2.1 or later.
* @{lemma} in latex and ML: allow initial and terminal method expressions,
as in the Isar command 'by'.
* @{lemma} in ML now closes the derivation, unless @{lemma (open) ...} is
specified.
* Eliminated theory ProtoPure and CPure, leaving just one Pure theory.
INCOMPATIBILITY, object-logics depending on former Pure require
additional setup PureThy.old_appl_syntax_setup; object-logics
depending on former CPure need to refer to Pure.
