[isabelle-dev] NEWS: Poly/ML heaps follow hierarchy of sessions
makarius at sketis.net
Thu Mar 17 15:09:11 CET 2016
On Thu, 17 Mar 2016, Lawrence Paulson wrote:
> This is a great achievement! And disk space is still important,
> especially on modern devices with SSDs.
The main work is by David Matthews, and it happened over the past few
Without SML/NJ and old Poly/ML versions hindering us, we can now roar
ahead much faster.
More information about the isabelle-dev