isabelle: Changelog

wenzelm [Tue, 01 Mar 2016 21:00:38 +0100] rev 62492

clarified modules;

wenzelm [Tue, 01 Mar 2016 20:51:38 +0100] rev 62491

clarified modules;

wenzelm [Tue, 01 Mar 2016 19:42:59 +0100] rev 62490

ML debugger support in Pure (again, see 3565c9f407ec);

wenzelm [Tue, 01 Mar 2016 17:26:53 +0100] rev 62489

use bootstrap compiler earlier;

wenzelm [Tue, 01 Mar 2016 16:19:56 +0100] rev 62488

merged

wenzelm [Tue, 01 Mar 2016 15:48:23 +0100] rev 62487

merged

wenzelm [Tue, 01 Mar 2016 15:48:19 +0100] rev 62486

removed obsolete chmod: isabelle_process no longer supports writable heaps;

wenzelm [Tue, 01 Mar 2016 14:47:27 +0100] rev 62485

redundant -- already provided by Poly/ML toplevel;

wenzelm [Tue, 01 Mar 2016 14:23:24 +0100] rev 62484

prefer bash_process;

wenzelm [Tue, 01 Mar 2016 12:59:46 +0100] rev 62483

only one nested bash process (NB: OS.System = vfork + exec /bin/sh in RTS is faster than Posix.Process.fork/exec in ML);

isabelle