isabelle: Changelog

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);

blanchet [Tue, 01 Mar 2016 13:11:56 +0100] rev 62482

generalized ML function

haftmann [Tue, 01 Mar 2016 10:36:19 +0100] rev 62481

tuned bootstrap order to provide type classes in a more sensible order

wenzelm [Tue, 01 Mar 2016 10:32:55 +0100] rev 62480

missing file;

isabelle