isabelle: Changelog

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;

wenzelm [Mon, 29 Feb 2016 22:34:36 +0100] rev 62479

clarified session; tuned headers;

wenzelm [Mon, 29 Feb 2016 22:32:04 +0100] rev 62478

tuned header;

wenzelm [Mon, 29 Feb 2016 21:32:53 +0100] rev 62477

simplified -- always produce heap for RAW, Pure;

wenzelm [Mon, 29 Feb 2016 20:43:16 +0100] rev 62476

merged

wenzelm [Mon, 29 Feb 2016 20:35:06 +0100] rev 62475

isabelle_process executable no longer supports writable heap images;

wenzelm [Mon, 29 Feb 2016 16:38:06 +0100] rev 62474

more careful cleanup;

isabelle